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 | 9eed4fd8995a84ddce55dde604bd004a52851ffc (patch) | |
| tree | 9723c26cdc52977a2c95fb225aa380a9c0ea0cfc /Makefile | |
| parent | 16372db61549aab660f49b7fb86a58b20bbe0ac6 (diff) | |
| download | rabbitmq-server-git-9eed4fd8995a84ddce55dde604bd004a52851ffc.tar.gz | |
fixing basic.plt dependencies
Diffstat (limited to 'Makefile')
| -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 |