Merge pull request #194 from mseri/master

Makefile: do not use --dev in the release build
xapi-project · Jan 19, 2018 · 0d8714a · 0d8714a
2 parents 9db3f9c + df1eb2d
commit 0d8714a
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -3,11 +3,12 @@ OPAM_LIBDIR=$(DESTDIR)$(shell opam config var lib)
 
 .PHONY: build release install uninstall clean test doc reindent
 
+release:
+	    jbuilder build @install -j $$(getconf _NPROCESSORS_ONLN)
+
 build:
 	    jbuilder build @install --dev -j $$(getconf _NPROCESSORS_ONLN)
 
-release:
-	    jbuilder build @install
 
 install:
 	    jbuilder install --prefix=$(OPAM_PREFIX) --libdir=$(OPAM_LIBDIR)
@@ -33,3 +34,5 @@ reindent:
 
 runtime-coverage:
 	    BISECT_RUNTIME=YES make
+
+.DEFAULT_GOAL := release