Browse Source

package: updated to Corrade's Jenkins CI changes.

pull/51/head
Vladimír Vondruš 12 years ago
parent
commit
a653c21298
  1. 2
      package/ci/jenkins-emscripten.xml

2
package/ci/jenkins-emscripten.xml

@ -67,7 +67,7 @@ cmake .. \
-DCMAKE_BUILD_TYPE=Release \
-DCMAKE_MODULE_PATH="${WORKSPACE}/toolchains/modules" \
-DCMAKE_TOOLCHAIN_FILE="../toolchains/generic/Emscripten.cmake" \
-DCMAKE_FIND_ROOT_PATH=${JENKINS_HOME}/filesystem/emscripten \
-DCMAKE_FIND_ROOT_PATH=${JENKINS_HOME}/filesystem/emscripten-${compatibility} \
-DCMAKE_INSTALL_PREFIX=${JENKINS_HOME}/filesystem/emscripten-${compatibility} \
-DBUILD_TESTS=ON \
-DBUILD_DEPRECATED=${deprecated_build_flag} \

Loading…
Cancel
Save