mirror of
https://codeberg.org/dnkl/foot.git
synced 2026-02-05 04:06:08 -05:00
9389f337d0
That locale may not exist. Instead, require the user/build script to explicitly set an UTF-8 locale. Document this in INSTALL.md, and in the bundled PKGBUILD.
30 lines
590 B
Bash
Executable file
30 lines
590 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}"/footclient --version
|
|
"${blddir}"/foot \
|
|
--config=/dev/null \
|
|
--term=xterm \
|
|
sh -c "
|
|
set -eux
|
|
|
|
'${srcdir}/scripts/generate-alt-random-writes.py' \
|
|
${script_options} \"${pgo_data}\"
|
|
|
|
cat \"${pgo_data}\"
|
|
"
|
|
touch "${blddir}"/pgo-ok
|