From df5e8bf0eda5b9993321f09a843fcc9d1f9d5f2d Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 8 Mar 2012 16:06:55 +0000 Subject: [PATCH] Makefile fix: 32-bit Mac JVM not detected properly (from -- ) git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4795 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/Makefile b/prism/Makefile index 37771e22..26369970 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -70,10 +70,10 @@ endif # whether java is 32/64-bit (since these need to match) ifeq ($(OSTYPE),darwin) JAVA_VERSION_STRING = $(shell java -version 2>&1) - ifneq (, $(findstring 64-bit, $(JAVA_VERSION_STRING)) ) + ifneq (,$(findstring 64-bit, $(JAVA_VERSION_STRING)) ) ARCH = x86_64 endif - ifneq (, $(findstring 64-Bit, $(JAVA_VERSION_STRING)) ) + ifneq (,$(findstring 64-Bit, $(JAVA_VERSION_STRING)) ) ARCH = x86_64 endif endif