diff options
Diffstat (limited to 'config/pgi-flags')
| -rw-r--r-- | config/pgi-flags | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/pgi-flags b/config/pgi-flags index 3d481bd..29e6f05 100644 --- a/config/pgi-flags +++ b/config/pgi-flags @@ -87,7 +87,7 @@ if test "X-pgcc" = "X-$cc_vendor"; then PROD_CPPFLAGS= # Debug - DEBUG_CFLAGS="-g -Mbounds -Mchkfpstk" + DEBUG_CFLAGS="-g -Mbounds" DEBUG_CPPFLAGS= # Profile |