diff --git a/build/build.sh b/build/build.sh index 7791769..d42daf7 100755 --- a/build/build.sh +++ b/build/build.sh @@ -12,7 +12,7 @@ copy() cp $@ } -set -x +set -ex export BOOST=$BOOST_ROOT