mirror of
https://codeberg.org/dnkl/foot.git
synced 2026-02-12 04:27:51 -05:00
30 lines
624 B
Bash
Executable file
30 lines
624 B
Bash
Executable file
#!/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 \
|
|
--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
|