diff options
| author | Sverker Eriksson <[email protected]> | 2017-03-20 19:21:25 +0100 |
|---|---|---|
| committer | Sverker Eriksson <[email protected]> | 2017-03-20 19:21:25 +0100 |
| commit | 950d9f4276f70856bbd64d4815b4c0c0cf87366d (patch) | |
| tree | bf3a03a4baae2e75d19f67916357d077426461ea /erts/emulator | |
| parent | 6a0ca45bb465150ba47d057ecd6c75681b790aab (diff) | |
| download | otp-950d9f4276f70856bbd64d4815b4c0c0cf87366d.tar.gz otp-950d9f4276f70856bbd64d4815b4c0c0cf87366d.tar.bz2 otp-950d9f4276f70856bbd64d4815b4c0c0cf87366d.zip | |
erts: Make generated files depend on Makefile
in order to regenerate them if config has changed.
ERL-379
Maybe a better solution would have been to run 'clean' target
or stop and ask user to run make clean.
Diffstat (limited to 'erts/emulator')
| -rw-r--r-- | erts/emulator/Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/erts/emulator/Makefile.in b/erts/emulator/Makefile.in index 18fd7f320b..7ea0111e59 100644 --- a/erts/emulator/Makefile.in +++ b/erts/emulator/Makefile.in @@ -656,6 +656,10 @@ generate: $(TTF_DIR)/GENERATED $(PRELOAD_SRC) $(TTF_DIR)/GENERATED: $(GENERATE) $(gen_verbose)echo $? >$(TTF_DIR)/GENERATED + +# Regenerate if Makefile has changed +$(GENERATE): $(TARGET)/Makefile + endif $(TARGET)/erlang_dtrace.h: beam/erlang_dtrace.d |