summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJean-Sébastien Pédron <jean-sebastien.pedron@dumbbell.fr>2015-08-13 14:38:48 +0200
committerJean-Sébastien Pédron <jean-sebastien.pedron@dumbbell.fr>2015-08-13 14:38:48 +0200
commit1d0e1988bdf09294033a2758c0e33de9632f5860 (patch)
treec9c3e75352feb83e0dad10b8a7f000b0f7c938dd
parent04e7596e0c700d3a525d91fc12d41b84c43ee59c (diff)
downloadrabbitmq-server-git-1d0e1988bdf09294033a2758c0e33de9632f5860.tar.gz
Makefile: Resolve $(USE_PROPER_QC) only when needed
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index d4740880eb..3bb8e4942d 100644
--- a/Makefile
+++ b/Makefile
@@ -51,7 +51,7 @@ RABBIT_PLT=rabbit.plt
ifndef USE_PROPER_QC
# PropEr needs to be installed for property checking
# http://proper.softlab.ntua.gr/
-USE_PROPER_QC:=$(shell erl -noshell -eval 'io:format({module, proper} =:= code:ensure_loaded(proper)), halt().')
+USE_PROPER_QC=$(shell erl -noshell -eval 'io:format({module, proper} =:= code:ensure_loaded(proper)), halt().')
endif
#other args: +native +"{hipe,[o3,verbose]}" -Ddebug=true +debug_info +no_strict_record_tests