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 /lib/kernel | |
| 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 'lib/kernel')
0 files changed, 0 insertions, 0 deletions