diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2018-10-13 23:32:56 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2019-03-09 10:26:32 +0100 |
| commit | 823147f26c65ed8079803f302d4bd96b162b378d (patch) | |
| tree | c3065ab2bfdf6193c5fd81dbb500f4b2916e08df /dist | |
| parent | 8f8d484a069d2c78779f5a2062823054100692cb (diff) | |
| download | ghdl-823147f26c65ed8079803f302d4bd96b162b378d.tar.gz ghdl-823147f26c65ed8079803f302d4bd96b162b378d.tar.bz2 ghdl-823147f26c65ed8079803f302d4bd96b162b378d.zip | |
allow to pass OPT_FLAGS and LIB_CFLAGS to dist/travis/build.sh
Diffstat (limited to 'dist')
| -rwxr-xr-x | dist/travis/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/travis/build.sh b/dist/travis/build.sh index 2a8852232..27fada799 100755 --- a/dist/travis/build.sh +++ b/dist/travis/build.sh @@ -133,7 +133,7 @@ travis_finish "configure" -notime travis_start "make" "$ANSI_YELLOW[GHDL - build] Make $ANSI_NOCOLOR" set +e -make -j$(nproc) 2>make_err.log +make LIB_CFLAGS="$LIB_CFLAGS" OPT_FLAGS="$OPT_FLAGS" -j$(nproc) 2>make_err.log tail -1000 make_err.log set -e travis_finish "make" |