Chuffed: disable cp-profiler (by default) and compile without -j

conjure-cp · Jun 22, 2019 · 4d5351e · 4d5351e
1 parent 3d21a10
commit 4d5351e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/etc/build/install-chuffed.sh b/etc/build/install-chuffed.sh
@@ -11,11 +11,11 @@ pushd ${BIN_DIR}/tmp-install-chuffed
 git clone https://github.com/chuffed/chuffed.git
 cd chuffed
 git checkout 0.10.2
-git submodule update --init     # cp-profiler support
+# git submodule update --init     # cp-profiler support
 mkdir build
 cd build
 cmake ..
-cmake --build . -j
+cmake --build .
 cp fzn-chuffed ${BIN_DIR}/fzn-chuffed
 echo "chuffed executable is at ${BIN_DIR}/fzn-chuffed"
 ls -l ${BIN_DIR}/fzn-chuffed