mirror of
https://codeberg.org/dnkl/foot.git
synced 2026-03-19 05:33:44 -04:00
32 lines
658 B
Bash
32 lines
658 B
Bash
|
#!/bin/sh
|
||
|
|
|
||
|
|
set -eu
|
||
|
|
|
||
|
|
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}"
|
||
|
|
|
||
|
|
LC_CTYPE=en_US.UTF-8 "${blddir}"/footclient --version
|
||
|
|
LC_CTYPE=en_US.UTF-8 "${blddir}"/foot \
|
||
|
|
-o tweak.render-timer=log \
|
||
|
|
--config=/dev/null \
|
||
|
|
--term=xterm \
|
||
|
|
sh -c "
|
||
|
|
set -eu
|
||
|
|
|
||
|
|
'${srcdir}/scripts/generate-alt-random-writes.py' \
|
||
|
|
${script_options} \"${pgo_data}\"
|
||
|
|
|
||
|
|
cat \"${pgo_data}\"
|
||
|
|
"
|
||
|
|
touch "${blddir}"/pgo-ok
|