diff options
-rwxr-xr-x | compile.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compile.sh b/compile.sh index f47a697d6..aae5cf71c 100755 --- a/compile.sh +++ b/compile.sh @@ -4,5 +4,5 @@ set -e -o pipefail OPT=${OPT:-$(pwd)/opt} -./bjam --with-irstlm=$OPT/irstlm-5.80.08 --with-boost=$OPT --with-cmph=$OPT --with-xmlrpc-c=$OPT --with-mm --with-probing-pt -j$(getconf _NPROCESSORS_ONLN) $@ +./bjam --with-boost=$OPT --with-cmph=$OPT --with-xmlrpc-c=$OPT --with-mm --with-probing-pt -j$(getconf _NPROCESSORS_ONLN) $@ |