Fix pgo.sh so that it actually does the thing.

4 years ago · bd9409e2ab
1 changed files with 2 additions and 4 deletions
--- a/pgo.sh
+++ b/pgo.sh
@ -4,9 +4,7 @@ set -e
 cd "$(dirname "$0")"

 make clean
-CFLAGS="$CFLAGS -fprofile-generate"
-./build.sh
+./build.sh CFLAGS="$CFLAGS -fprofile-generate"
 ./ag example ..
 make clean
-CFLAGS="$CFLAGS -fprofile-use"
-./build.sh
+./build.sh CFLAGS="$CFLAGS -fprofile-correction -fprofile-use"