diff options
Diffstat (limited to '.tools/scripts/init.sh')
| -rwxr-xr-x | .tools/scripts/init.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.tools/scripts/init.sh b/.tools/scripts/init.sh index 2e9b84175..38818f384 100755 --- a/.tools/scripts/init.sh +++ b/.tools/scripts/init.sh @@ -117,8 +117,8 @@ function make_server { echo "autoreconf -i" autoreconf -i check_error $? - echo ./configure $1 CPPFLAGS=\"${CPPFLAGS}\" - ./configure $1 CPPFLAGS="$CPPFLAGS" + echo ./configure $1 CPPFLAGS=\"${CPPFLAGS}${HERCCPPFLAGS}\" + ./configure $1 CPPFLAGS="$CPPFLAGS$HERCCPPFLAGS" export err="$?" if [ "$err" != 0 ]; then echo "Error $err" |