diff options
author | Ulrich Germann <ulrich.germann@gmail.com> | 2017-08-25 18:51:23 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-25 18:51:23 +0300 |
commit | 9cb5999e5b50b5f86dc1feed22e791696d21541e (patch) | |
tree | 4952deac55356a9c5df99b6503ce78374ebdf05f | |
parent | 23cf6c4d1fe0aed7858445421f668bf6ad037e2a (diff) |
Update compile.sh
Compile without IRSTML
-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) $@ |