diff --git a/build.sh b/build.sh index d123318d67..ab80934b16 100755 --- a/build.sh +++ b/build.sh @@ -80,7 +80,7 @@ for ARG in "$@"; do --pgo-optimize ) flags="$flags -DUSE_PGO_OPTIMIZE=TRUE" ;; --pgo-generate ) flags="$flags -DUSE_PGO_GENERATE=TRUE" ;; --no-simd ) flags="$flags -DDISABLE_ADVANCE_SIMD=TRUE" ;; - --no-trans ) flags="$flags -DNO_TRANSLATION=TRUE" ;; + --no-trans ) flags="$flags -DNO_TRANSLATION=TRUE" ;; --cross-multilib ) flags="$flags -DCMAKE_TOOLCHAIN_FILE=$toolfile"; useCross=1; ;; --no-cross-multilib ) useCross=0; ;; --coverity ) CoverityBuild=1; cleanBuild=1; ;;