diff --git a/configure b/configure index 34680d4784049822e29963237d8ba9ac84a3f446..d4fcd1f533181e266db49b9088e0350b3ff0e22c 100755 --- a/configure +++ b/configure @@ -2329,7 +2329,7 @@ probe_cc(){ elif $_cc -V 2>&1 | grep -q Portland; then _type=pgi _ident="PGI $($_cc -V 2>&1 | awk '/^pgcc/ { print $2; exit }')" - opt_common='-alias=ansi -Mlre -Mpre' + opt_common='-alias=ansi -Mdse -Mlre -Mpre' _cflags_speed="-O3 -Mautoinline -Munroll=c:4 $opt_common" _cflags_size="-O2 -Munroll=c:1 $opt_common" _cflags_noopt="-O1"