diff options
| author | Lukas Larsson <lukas@erlang.org> | 2019-10-15 12:32:03 +0200 |
|---|---|---|
| committer | Lukas Larsson <lukas@erlang.org> | 2019-10-18 10:00:00 +0200 |
| commit | d30eba8d6302d970fecfd976a9acf30cba2d2c10 (patch) | |
| tree | c02a348ee3baae3b59821b487bc6a2ef4e1d49d4 /Makefile.in | |
| parent | 91c1fc72d9d6e8862e77a80a9ad13ae6746b040f (diff) | |
| download | erlang-d30eba8d6302d970fecfd976a9acf30cba2d2c10.tar.gz | |
erts: Fix compiler server use on Windows
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 9be91a4b20..12ae1d4a82 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 \ |