From 503740f8365aa67197a8ef6f710852b5caec362c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Ekl=C3=B6f?= Date: Fri, 7 Oct 2022 21:47:56 +0200 Subject: [PATCH] pgo: execute xtgettcap utility, to get profiling data MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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] --- pgo/full-inner.sh | 1 + pgo/partial.sh | 1 + 2 files changed, 2 insertions(+) diff --git a/pgo/full-inner.sh b/pgo/full-inner.sh index 599d6aad..425d1ff0 100755 --- a/pgo/full-inner.sh +++ b/pgo/full-inner.sh @@ -15,6 +15,7 @@ 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 \ diff --git a/pgo/partial.sh b/pgo/partial.sh index c16de324..17de7175 100755 --- a/pgo/partial.sh +++ b/pgo/partial.sh @@ -21,6 +21,7 @@ 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 --version "${blddir}"/pgo "${pgo_data}"