mirrors/foot
1
0
Fork 0
mirror of https://codeberg.org/dnkl/foot.git synced 2026-02-04 04:06:06 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

pgo: verify source dir really is a foot source dir before proceeding

Browse source
This commit is contained in:
Daniel Eklöf 2021-10-06 20:10:58 +02:00
parent 8e4d020a41
commit b1c03861cd
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
pgo/pgo.sh
View file

@ -19,6 +19,11 @@ shift 3
# exit 1
# fi
if [ ! -f "${srcdir}"/generate-version.sh ]; then
echo "error: ${srcdir}: does not appear to be a foot source directory"
exit 1
fi
compiler=other
do_pgo=no