diff options
author | Marek Safar <marek.safar@gmail.com> | 2018-11-07 20:37:50 +0300 |
---|---|---|
committer | Marek Safar <marek.safar@gmail.com> | 2018-11-08 14:32:20 +0300 |
commit | 46b36bf842b2c95f3beb067e49ccc21d71a27514 (patch) | |
tree | 0d947c503b8c4fed45d49afa3893fdde0be1dbf4 /scripts/ci | |
parent | df6056cd63d41cb7942dce69ebf50c6178d30602 (diff) |
[sdks] Document one more build setting
Diffstat (limited to 'scripts/ci')
-rwxr-xr-x | scripts/ci/run-jenkins.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/ci/run-jenkins.sh b/scripts/ci/run-jenkins.sh index 63779adc4d2..696354979e4 100755 --- a/scripts/ci/run-jenkins.sh +++ b/scripts/ci/run-jenkins.sh @@ -187,7 +187,6 @@ if [[ ${CI_TAGS} == *'webassembly'* ]] || [[ ${CI_TAGS} == *'wasm'* ]]; echo "DISABLE_ANDROID=1" > sdks/Make.config echo "DISABLE_IOS=1" >> sdks/Make.config echo "DISABLE_DESKTOP=1" >> sdks/Make.config - echo "ENABLE_WASM_CROSS=1" >> sdks/Make.config if [[ ${CI_TAGS} == *'cxx'* ]]; then echo "ENABLE_CXX=1" >> sdks/Make.config fi |