diff options
author | Fredrik Gustafsson <[email protected]> | 2013-05-24 14:51:00 +0200 |
---|---|---|
committer | Fredrik Gustafsson <[email protected]> | 2013-05-24 14:51:00 +0200 |
commit | e2fd5cb90a91dd1e0e35b0d707beb23cab9f85d8 (patch) | |
tree | 95dcf4e50cca5e64de5b43a542457bd1c5b75d3c /erts/emulator | |
parent | 640c5dda5c2cfcab7980beacc1d1e485df225e77 (diff) | |
parent | 3f7107a53d59a2dc35163e8c6119164dfb9e6822 (diff) | |
download | otp-e2fd5cb90a91dd1e0e35b0d707beb23cab9f85d8.tar.gz otp-e2fd5cb90a91dd1e0e35b0d707beb23cab9f85d8.tar.bz2 otp-e2fd5cb90a91dd1e0e35b0d707beb23cab9f85d8.zip |
Merge branch 'maint'
Diffstat (limited to 'erts/emulator')
-rw-r--r-- | erts/emulator/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/erts/emulator/Makefile.in b/erts/emulator/Makefile.in index 2031ec3a4c..fb4cde0e76 100644 --- a/erts/emulator/Makefile.in +++ b/erts/emulator/Makefile.in @@ -1021,7 +1021,8 @@ endif $(TARGET)/gen_git_version.mk: # We touch beam/erl_bif.info.c if we regenerated the git version to force a # rebuild. - if $(gen_verbose)utils/gen_git_version $@; then touch beam/erl_bif_info.c; fi + $(gen_verbose) + $(V_at)if utils/gen_git_version $@; then touch beam/erl_bif_info.c; fi .PHONY: depend ifdef VOID_EMULATOR |