Makefile tweak: drop -mtune=native flag for 32-bit Linux compile: should be unnecessary.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4316 bbc10eb1-c90d-0410-af57-cb519fbb1720
14 years ago · 0974ca4b81
1 changed files with 1 additions and 1 deletions
--- a/prism/Makefile
+++ b/prism/Makefile
@ -156,7 +156,7 @@ ifeq ($(OSTYPE),linux)
 		LDFLAGS = $(CUDD_XCFLAGS) $(OPTIMISE)
 		BINDISTSUFFIX = linux64
 	else
-		CUDD_XCFLAGS = -m32 -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD $(DEBUG)
+		CUDD_XCFLAGS = -m32 -malign-double -DHAVE_IEEE_754 -DBSD $(DEBUG)
 		CFLAGS = $(CUDD_XCFLAGS) $(OPTIMISE)
 		CPPFLAGS = $(CUDD_XCFLAGS) $(OPTIMISE)
 		LDFLAGS = $(CUDD_XCFLAGS) $(OPTIMISE)