diff options
Diffstat (limited to 'pgo.sh.in')
-rw-r--r-- | pgo.sh.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pgo.sh.in b/pgo.sh.in index 31f86121fd66..0df4437581c9 100644 --- a/pgo.sh.in +++ b/pgo.sh.in @@ -28,12 +28,12 @@ buildenv_pgo() { [[ "$INFAKEROOT" == 1 ]] && return - if [ ! -d "$PROFDEST/$pkgbase.gen" ]; then + if [[ ! -d $PROFDEST/$pkgbase.gen ]]; then pgoflags=" -fprofile-generate -fprofile-dir=$PROFDEST/$pkgbase.gen" pgoldflags=" -lgcov --coverage" msg2 "Profile data will be generated." - else - [[ ! -d "$PROFDEST/$pkgbase.used" ]] && mv "$PROFDEST/$pkgbase.gen" "$PROFDEST/$pkgbase.used" + elif [[ ! -d $PROFDEST/$pkgbase.used ]]; then + mv $PROFDEST/$pkgbase.{gen,used} pgoflags=" -fprofile-correction -fprofile-use -fprofile-dir=$PROFDEST/$pkgbase.used" msg2 "Profile data will be applied." fi |