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 /libraries/vendors/compile-osvvm.sh | |
| 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 'libraries/vendors/compile-osvvm.sh')
| -rwxr-xr-x | libraries/vendors/compile-osvvm.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/libraries/vendors/compile-osvvm.sh b/libraries/vendors/compile-osvvm.sh index 9d2070c59..1ff747804 100755 --- a/libraries/vendors/compile-osvvm.sh +++ b/libraries/vendors/compile-osvvm.sh @@ -43,8 +43,9 @@ ScriptDir="$(dirname $0)" ScriptDir="$($READLINK -f $ScriptDir)" # source configuration file from GHDL's 'vendors' library directory -source $ScriptDir/config.sh -source $ScriptDir/shared.sh +. $ScriptDir/../ansi_color.sh +. $ScriptDir/config.sh +. $ScriptDir/shared.sh # command line argument processing NO_COMMAND=1 |