From 8fe2cd7ece3ad43e769bf2e52c471454aee0916f Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Sun, 21 Feb 2016 02:34:36 -0800 Subject: [PATCH] whitespace --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 92bc739e2..df03e57b0 100644 --- a/Makefile +++ b/Makefile @@ -198,7 +198,7 @@ BUILDFLAGS1:=-rtsopts $(WARNINGS) $(INCLUDEPATHS) $(PREFERMACUSRLIBFLAGS) $(GHCM BUILDFLAGS:=$(BUILDFLAGS1) -DVERSION='"$(VERSION)dev"' # PROFBUILDFLAGS:=-prof -fprof-auto -osuf hs_p # # sp needs different quoting: -# AUTOBUILDFLAGS:=$(BUILDFLAGS1) -DVERSION='\"$(VERSION)dev\"' # $(PROFBUILDFLAGS) +# AUTOBUILDFLAGS:=$(BUILDFLAGS1) -DVERSION='\"$(VERSION)dev\"' # $(PROFBUILDFLAGS) # LINUXRELEASEBUILDFLAGS:=-DMAKE $(WARNINGS) $(INCLUDEPATHS) -O2 -static -optl-static -optl-pthread # MACRELEASEBUILDFLAGS:=-DMAKE $(WARNINGS) $(INCLUDEPATHS) $(PREFERMACUSRLIBFLAGS) -O2 # -optl-L/usr/lib # #WINDOWSRELEASEBUILDFLAGS:=-DMAKE $(WARNINGS) $(INCLUDEPATHS)