diff options
author | Björn-Egil Dahlberg <[email protected]> | 2014-04-29 12:33:16 +0200 |
---|---|---|
committer | Björn-Egil Dahlberg <[email protected]> | 2014-04-29 12:33:16 +0200 |
commit | 180b6f30dbe3d90d25eb77e7ac048a60e0b9a2a9 (patch) | |
tree | 0d1313497b3aff9bb16feaab402850173076ff67 | |
parent | be46e454e61c513920f9b3a8040d26d7c2bc8b9f (diff) | |
parent | 13b2c8f9d2d77775778c2286322f76e7317b1ac4 (diff) | |
download | otp-180b6f30dbe3d90d25eb77e7ac048a60e0b9a2a9.tar.gz otp-180b6f30dbe3d90d25eb77e7ac048a60e0b9a2a9.tar.bz2 otp-180b6f30dbe3d90d25eb77e7ac048a60e0b9a2a9.zip |
Merge branch 'maint'
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 4dc5ebac40..5c96c789dc 100644 --- a/Makefile.in +++ b/Makefile.in @@ -451,7 +451,7 @@ else $(make_verbose)cd lib && \ ERL_TOP=$(ERL_TOP) PATH=$(BOOT_PREFIX)"$${PATH}" \ $(MAKE) opt BUILD_ALL=true - echo "OTP built" > $(ERL_TOP)/make/otp_built + $(V_at)echo "OTP built" > $(ERL_TOP)/make/otp_built endif kernel: $(make_verbose)cd lib/kernel && \ |