aboutsummaryrefslogtreecommitdiffstats
path: root/dist
diff options
context:
space:
mode:
Diffstat (limited to 'dist')
-rwxr-xr-xdist/travis/build.sh2
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"