diff options
| -rw-r--r-- | config/pgi-flags | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/config/pgi-flags b/config/pgi-flags index 664b37b..3d481bd 100644 --- a/config/pgi-flags +++ b/config/pgi-flags @@ -72,6 +72,10 @@ if test "X-pgcc" = "X-$cc_vendor"; then # Production case "$cc_vendor-$cc_version" in + # Tweak down compiler optimizations for v10.6, it has a bug + pgcc-10.6*) + PROD_CFLAGS="-O1 -s" + ;; # Tweak down compiler optimizations for v9.x pgcc-9.*) PROD_CFLAGS="-O1 -s" |