diff options
author | Lukas Larsson <lukas@erlang.org> | 2019-10-18 10:00:31 +0200 |
---|---|---|
committer | Lukas Larsson <lukas@erlang.org> | 2019-10-18 10:00:31 +0200 |
commit | d5512cc4fa80e526da130e9e4e3e114bc1a58390 (patch) | |
tree | d81b13cfdf0b4ae9e06f057c05ff30910cf30e2b /Makefile.in | |
parent | d716b501abbff187d94b9e2ca747c3c5e7970953 (diff) | |
parent | a1459d4481cd5731f33efdd8a58f4f06eca2dce6 (diff) | |
download | erlang-d5512cc4fa80e526da130e9e4e3e114bc1a58390.tar.gz |
Merge branch 'maint'
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 133ea0f4d6..9c43091553 100644 --- a/Makefile.in +++ b/Makefile.in @@ -527,7 +527,11 @@ dep depend: # Bootstraps... # ---------------------------------------------------------------------- ifeq ($(TARGET),win32) + +# Sleep for 11 seconds if we use ERLC server in order to let it +# terminate before we remove the bootstrap files bootstrap_setup: check_recreate_primary_bootstrap bootstrap_setup_target + -$(V_at)(test X"$$ERLC_USE_SERVER" = X"yes" || test X"$$ERLC_USE_SERVER" = X"true") && sleep 11 @rm -f $(BOOTSTRAP_ROOT)/bootstrap/bin/erl.exe \ $(BOOTSTRAP_ROOT)/bootstrap/bin/erlc.exe \ $(BOOTSTRAP_ROOT)/bootstrap/bin/escript.exe \ |