diff options
| author | Mans Rullgard <mans@mansr.com> | 2012-10-05 04:30:28 +0400 |
|---|---|---|
| committer | Mans Rullgard <mans@mansr.com> | 2012-10-09 01:30:41 +0400 |
| commit | 8f23907f3e4c9e40602be0eeebce8c7ea7a9fa3d (patch) | |
| tree | 3ede24aaaeb97f50cd24dc415d89a9f34002dd89 /configure | |
| parent | c9b10cc4dbb67a94c29359fde79fb882d71fef6f (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>
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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" |