diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/scripts/init.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh index 01df562..7904480 100755 --- a/tools/ci/scripts/init.sh +++ b/tools/ci/scripts/init.sh @@ -117,7 +117,7 @@ function run_configure_simple { } function run_configure { - run_configure_simple $* + run_configure_simple $* CPPFLAGS="${VARS}" } function run_make { @@ -184,6 +184,7 @@ function build_init { mkdir -p server-data/plugins cp -r evol-hercules/* server-code/src/evol/ check_error $? + source tools/vars.sh cd server-code/src/evol check_error $? } |