diff options
author | Björn Gustavsson <bjorn@erlang.org> | 2019-08-28 12:51:41 +0200 |
---|---|---|
committer | Björn Gustavsson <bjorn@erlang.org> | 2019-08-28 12:51:41 +0200 |
commit | 5583fa743b1f73763a54808523808fa0b236994b (patch) | |
tree | 5b9c1eb4e930a5fd6e411c0b14a3870077c81952 /lib/erl_interface | |
parent | 78f057f2e2855e51338b866a2cf482f9cb315043 (diff) | |
parent | b1f5a4914b46899a43dc50e36da1b1d16cc191c0 (diff) | |
download | erlang-5583fa743b1f73763a54808523808fa0b236994b.tar.gz |
Merge branch 'maint'
* maint:
scripts/build-otp: Enable compile server for Travis/Jenkins builds
Don't use the compile server for PGO
Teach erlc to use the compile server
Update primary bootstrap
Add erl_compiler_server
Refactor the erl_compile module
Clarify that digraphs are implemented using ETS tables
Diffstat (limited to 'lib/erl_interface')
-rw-r--r-- | lib/erl_interface/doc/src/Makefile | 2 | ||||
-rw-r--r-- | lib/erl_interface/src/Makefile | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/lib/erl_interface/doc/src/Makefile b/lib/erl_interface/doc/src/Makefile index 507a84a453..03044a0ddd 100644 --- a/lib/erl_interface/doc/src/Makefile +++ b/lib/erl_interface/doc/src/Makefile @@ -96,7 +96,7 @@ man: $(MAN1_FILES) $(MAN3_FILES) gifs: $(GIF_FILES:%=$(HTMLDIR)/%) -debug opt: +debug opt lcnt: clean clean_docs clean_tex: rm -rf $(HTMLDIR)/* diff --git a/lib/erl_interface/src/Makefile b/lib/erl_interface/src/Makefile index 00c49f1622..6f728a0a28 100644 --- a/lib/erl_interface/src/Makefile +++ b/lib/erl_interface/src/Makefile @@ -33,3 +33,5 @@ endif clean depend docs release release_docs tests release_tests check xmllint: $(make_verbose)$(MAKE) -f $(TARGET)/Makefile $@ + +lcnt: |