mirror of
https://codeberg.org/dnkl/foot.git
synced 2026-02-20 01:40:14 -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]
32 lines
673 B
Bash
Executable file
32 lines
673 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
|
|
|
|
# To ensure profiling data is generated in the build directory
|
|
cd "${blddir}"
|
|
|
|
"${blddir}"/utils/xtgettcap name
|
|
"${blddir}"/footclient --version
|
|
"${blddir}"/foot \
|
|
--config=/dev/null \
|
|
--override tweak.grapheme-shaping=no \
|
|
--term=xterm \
|
|
sh -c "
|
|
set -eux
|
|
|
|
'${srcdir}/scripts/generate-alt-random-writes.py' \
|
|
${script_options} \"${pgo_data}\"
|
|
|
|
cat \"${pgo_data}\"
|
|
"
|
|
touch "${blddir}"/pgo-ok
|