Browse Source

Fix PGI build options (again)

for #2237
tags/v0.3.8^2
Martin Kroeker GitHub 6 years ago
parent
commit
7d380f7d79
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
  1. +1
    -1
      Makefile.system

+ 1
- 1
Makefile.system View File

@@ -699,7 +699,7 @@ endif

ifeq ($(C_COMPILER), PGI)
ifdef BINARY64
CCOMMON_OPT += -tp p7-64
CCOMMON_OPT += -tp p7-64 -D__MMX__ -Mnollvm
else
CCOMMON_OPT += -tp p7
endif


Loading…
Cancel
Save