mirror of
https://codeberg.org/dnkl/foot.git
synced 2026-02-05 04:06:08 -05:00
503740f836
Fixes: ../utils/xtgettcap.c:175:1: error: ‘/home/daniel/src/foot/src/utils/xtgettcap.p/xtgettcap.c.gcda’ profile count data file not found [-Werror=missing-profile]
29 lines
574 B
Bash
Executable file
29 lines
574 B
Bash
Executable file
#!/bin/sh
|
|
|
|
set -eux
|
|
|
|
srcdir=$(realpath "${1}")
|
|
blddir=$(realpath "${2}")
|
|
|
|
. "${srcdir}"/pgo/options
|
|
|
|
pgo_data=$(mktemp)
|
|
trap "rm -f ${pgo_data}" EXIT INT HUP TERM
|
|
|
|
rm -f "${blddir}"/pgo-ok
|
|
|
|
"${srcdir}"/scripts/generate-alt-random-writes.py \
|
|
--rows=67 \
|
|
--cols=135 \
|
|
${script_options} \
|
|
"${pgo_data}"
|
|
|
|
# To ensure profiling data is generated in the build directory
|
|
cd "${blddir}"
|
|
|
|
"${blddir}"/utils/xtgettcap name
|
|
"${blddir}"/footclient --version
|
|
"${blddir}"/foot --version
|
|
"${blddir}"/pgo "${pgo_data}"
|
|
|
|
touch "${blddir}"/pgo-ok
|