diff --git a/run_docker_build.sh b/run_docker_build.sh index 70f94d5..10351f4 100755 --- a/run_docker_build.sh +++ b/run_docker_build.sh @@ -30,6 +30,7 @@ ${ARCH}-w64-mingw32-cmake \ -DUSE_SPHINX=OFF \ -DCMAKE_UNITY_BUILD=ON -DCMAKE_UNITY_BUILD_BATCH_SIZE=32 \ -DSWIG_COMPILE_FLAGS="-O1" \ + -DUSE_HMAT=OFF \ . make install