diff options
-rw-r--r-- | config/pgi-fflags | 2 | ||||
-rw-r--r-- | config/pgi-flags | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/config/pgi-fflags b/config/pgi-fflags index 7f4ed4d..6cb8930 100644 --- a/config/pgi-fflags +++ b/config/pgi-fflags @@ -86,7 +86,7 @@ if test "X-pgf90" = "X-$f9x_vendor"; then PROD_FCFLAGS="-fast -s -Mnoframe" # Debug - DEBUG_FCFLAGS="-g -Mbounds -Mchkfpstk -Mchkptr -Mdclchk" + DEBUG_FCFLAGS="-g -Mbounds -Mchkptr -Mdclchk" # Profile PROFILE_FCFLAGS="-g -Mprof=func,line" 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 |