diff options
| author | Jean-Sébastien Pédron <jean-sebastien@rabbitmq.com> | 2015-08-13 17:54:06 +0200 |
|---|---|---|
| committer | Jean-Sébastien Pédron <jean-sebastien.pedron@dumbbell.fr> | 2015-10-20 11:10:48 +0200 |
| commit | 42099a5d99e7133d2e45f6195625feed1f9d8517 (patch) | |
| tree | 9ff5d11ae4533eb9314fb47bfb4235923dbed26c | |
| parent | fa1d8ae0d58160f59a0c2bf4cf5232c7e2ae5326 (diff) | |
| download | rabbitmq-server-git-42099a5d99e7133d2e45f6195625feed1f9d8517.tar.gz | |
Use $(ERL) from erlang.mk
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |