pgo: full-inner: add --override tweak.grapheme-shaping=no

Grapheme shaping is now enabled by default in foot. However, when
generating the profiling data in PGO builds, this results in skewed
optimizations.

The end result is worse benchmark results regardless of whether
grapheme-shaping is enabled or not (when running the benchmarks).
This commit is contained in:
Daniel Eklöf 2021-10-16 16:58:59 +02:00
parent f9782848e5
commit d4b365b55c
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F
3 changed files with 8 additions and 1 deletions

View file

@ -18,6 +18,7 @@ cd "${blddir}"
"${blddir}"/footclient --version
"${blddir}"/foot \
--config=/dev/null \
--override tweak.grapheme-shaping=no \
--term=xterm \
sh -c "
set -eux