summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMans Rullgard <mans@mansr.com>2012-10-05 01:30:28 +0100
committerMans Rullgard <mans@mansr.com>2012-10-08 22:30:41 +0100
commit8f23907f3e4c9e40602be0eeebce8c7ea7a9fa3d (patch)
tree3ede24aaaeb97f50cd24dc415d89a9f34002dd89
parentc9b10cc4dbb67a94c29359fde79fb882d71fef6f (diff)
build: add -Mdse to PGI optimisation flags
Enable dead store elimination. The last few releases work no worse with this flag than without. Older versions failed to build some source files when using this flag. Signed-off-by: Mans Rullgard <mans@mansr.com>
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 34680d4784..d4fcd1f533 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"