diff options
| author | Vlad Ionescu <vlad@lshift.net> | 2009-09-15 13:18:59 +0100 |
|---|---|---|
| committer | Vlad Ionescu <vlad@lshift.net> | 2009-09-15 13:18:59 +0100 |
| commit | f3118f859589ddbe741e04d9ad994cd7b36fa623 (patch) | |
| tree | 9723c26cdc52977a2c95fb225aa380a9c0ea0cfc | |
| parent | 3313f61b68c633ea3a4c042facd450875d1a3b1e (diff) | |
| download | rabbitmq-server-f3118f859589ddbe741e04d9ad994cd7b36fa623.tar.gz | |
fixing basic.plt dependencies
| -rw-r--r-- | Makefile | 13 |
1 files changed, 8 insertions, 5 deletions
@@ -70,7 +70,7 @@ dialyze: .last_valid_dialysis create-plt: $(PLT) $(PLT): $(BEAM_TARGETS) $(BASIC_PLT) - test -f $@ -a $(BASIC_PLT) -ot $@ || cp $(BASIC_PLT) $@ + test -f $@ || cp $(BASIC_PLT) $@ $(ERL_EBIN) -eval \ "rabbit_dialyzer:update_plt(\"$@\", \"$(BEAM_TARGETS)\"), halt()." @@ -84,10 +84,13 @@ $(PLT): $(BEAM_TARGETS) $(BASIC_PLT) "rabbit_dialyzer:dialyze_files(\"$(PLT)\", \"$$DIALYZER_INPUT_FILES\"), halt()." && \ touch $@ -$(BASIC_PLT): - $(MAKE) all - $(ERL_EBIN) -eval \ - "rabbit_dialyzer:create_basic_plt(\"$@\"), halt()." +$(BASIC_PLT): $(BEAM_TARGETS) + if [ -f $@ ]; then \ + touch $@; \ + else \ + $(ERL_EBIN) -eval \ + "rabbit_dialyzer:create_basic_plt(\"$@\"), halt()."; \ + fi clean: rm -f $(EBIN_DIR)/*.beam |