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

pgo: pgo.sh: allow a pre-existing build directory

Browse source
This commit is contained in:
Daniel Eklöf 2021-09-04 18:29:20 +02:00
parent 579e1f80b4
commit e907ec209c
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
pgo/pgo.sh
View file

@ -14,10 +14,10 @@ srcdir=$(realpath "${2}")
blddir=$(realpath "${3}")
shift 3
if [ -e "${blddir}" ]; then
echo "error: ${blddir}: build directory already exists"
exit 1
fi
# if [ -e "${blddir}" ]; then
# echo "error: ${blddir}: build directory already exists"
# exit 1
# fi
compiler=other
do_pgo=no