diff options
author | Que Quotion | 2019-11-24 10:54:39 +0900 |
---|---|---|
committer | Que Quotion | 2019-11-24 10:54:39 +0900 |
commit | dc39f59550c002ae96d8508e5f456718348b1e54 (patch) | |
tree | 06820e7eb87658cf3a20dfdd41d296ed6d544cbc /pgo.sh.in | |
parent | 599af94f0c1290be8a6c845d5542038b7e98bc2a (diff) | |
download | aur-dc39f59550c002ae96d8508e5f456718348b1e54.tar.gz |
Disregard and overwrite old profile data.
Diffstat (limited to 'pgo.sh.in')
-rw-r--r-- | pgo.sh.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pgo.sh.in b/pgo.sh.in index 0df4437581c9..942aa931f0ff 100644 --- a/pgo.sh.in +++ b/pgo.sh.in @@ -32,7 +32,7 @@ buildenv_pgo() { pgoflags=" -fprofile-generate -fprofile-dir=$PROFDEST/$pkgbase.gen" pgoldflags=" -lgcov --coverage" msg2 "Profile data will be generated." - elif [[ ! -d $PROFDEST/$pkgbase.used ]]; then + else mv $PROFDEST/$pkgbase.{gen,used} pgoflags=" -fprofile-correction -fprofile-use -fprofile-dir=$PROFDEST/$pkgbase.used" msg2 "Profile data will be applied." |