From 823147f26c65ed8079803f302d4bd96b162b378d Mon Sep 17 00:00:00 2001
From: 1138-4EB <1138-4EB@users.noreply.github.com>
Date: Sat, 13 Oct 2018 23:32:56 +0100
Subject: allow to pass OPT_FLAGS and LIB_CFLAGS to dist/travis/build.sh

---
 dist/travis/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dist/travis')

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"
-- 
cgit v1.2.3