mirror of
https://codeberg.org/dnkl/foot.git
synced 2026-03-17 05:33:52 -04:00
PKGBUILD: don't error out on missing profile data count files
This commit is contained in:
parent
fd9c28464d
commit
01c1fcd60f
1 changed files with 1 additions and 5 deletions
6
PKGBUILD
6
PKGBUILD
|
|
@ -13,19 +13,15 @@ pkgver() {
|
||||||
}
|
}
|
||||||
|
|
||||||
build() {
|
build() {
|
||||||
meson --prefix=/usr --buildtype=release -Db_lto=true -Dc_args="-fno-stack-protector" ..
|
meson --prefix=/usr --buildtype=release -Db_lto=true -Dc_args="-fno-stack-protector -Wno-missing-profile" ..
|
||||||
|
|
||||||
meson configure -Db_pgo=generate
|
meson configure -Db_pgo=generate
|
||||||
ninja
|
ninja
|
||||||
ninja test
|
|
||||||
|
|
||||||
tmp_file=$(mktemp)
|
tmp_file=$(mktemp)
|
||||||
./foot --term=xterm -- sh -c "../scripts/generate-alt-random-writes.py --scroll --scroll-region --colors-regular --colors-bright --colors-rgb ${tmp_file} && cat ${tmp_file}"
|
./foot --term=xterm -- sh -c "../scripts/generate-alt-random-writes.py --scroll --scroll-region --colors-regular --colors-bright --colors-rgb ${tmp_file} && cat ${tmp_file}"
|
||||||
rm "${tmp_file}"
|
rm "${tmp_file}"
|
||||||
|
|
||||||
# Need to execute *all* binaries... :/
|
|
||||||
./footclient --version
|
|
||||||
|
|
||||||
meson configure -Db_pgo=use
|
meson configure -Db_pgo=use
|
||||||
ninja
|
ninja
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue