diff options
author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2017-02-26 22:59:38 +0100 |
---|---|---|
committer | 1138-4EB <1138-4EB@users.noreply.github.com> | 2017-03-01 06:57:27 +0100 |
commit | 08264571869e92cb7e6dcee5facfedbf0bedce68 (patch) | |
tree | b9e8a587027b2359bbd8c3e59b7d12d4b1098a0d /Makefile.in | |
parent | 439664c7e1cc7c9d3587cb72d8f395538aed36bc (diff) | |
download | ghdl-08264571869e92cb7e6dcee5facfedbf0bedce68.tar.gz ghdl-08264571869e92cb7e6dcee5facfedbf0bedce68.tar.bz2 ghdl-08264571869e92cb7e6dcee5facfedbf0bedce68.zip |
Use single VM in .travis.yml to speed-up launching builds. Container are launched in parallel threads.
The output of each thread is saved to a log. All of them are printed in order, after all the threads have finished.
Shared ANSI color codes between libraries/vendors and dist/linux. The common file to be sourced is dist/ansi_color.sh
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index cb05b0269..3c25d7c08 100644 --- a/Makefile.in +++ b/Makefile.in @@ -424,6 +424,9 @@ install.vhdllib: install.dirs $(INSTALL_DATA) -p \ $(LIBDST_DIR)/$$d/* $(DESTDIR)$(VHDL_LIB_DIR)/$$d; \ done + # ANSI color + $(INSTALL_DATA) -p \ + $(srcdir)/dist/ansi_color.sh $(DESTDIR)$(VHDL_LIB_DIR)/; # Vendors scripts $(MKDIR) -p $(DESTDIR)$(VHDL_LIB_DIR)/vendors $(INSTALL_DATA) -p \ |