1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 87c99ac409..20c6317d3b 100644
--- a/Makefile
+++ b/Makefile
@@ -119,6 +119,6 @@ endif
 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) -eval 'io:format({module, proper} =:= code:ensure_loaded(proper)), halt().')
 ERLC_OPTS    += $(call boolean_macro,$(USE_PROPER_QC),use_proper_qc)
 endif