diff options
Diffstat (limited to 'config/pgi-flags')
-rw-r--r-- | config/pgi-flags | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/config/pgi-flags b/config/pgi-flags index ac1ae22..7ebb2c4 100644 --- a/config/pgi-flags +++ b/config/pgi-flags @@ -56,11 +56,7 @@ if test "X-pgcc" = "X-$cc_vendor"; then CFLAGS="$CFLAGS $arch -Minform,warn" # Production - - # Omit frame pointer for optimized code? - NOFP=${NOFP:=-Mnoframe} - - PROD_CFLAGS="-fast -s $NOFP" + PROD_CFLAGS="-fast -s -Mnoframe" PROD_CPPFLAGS= # Debug |