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 | |
parent | df6056cd63d41cb7942dce69ebf50c6178d30602 (diff) |
[sdks] Document one more build setting
-rwxr-xr-x | scripts/ci/run-jenkins.sh | 1 | ||||
-rw-r--r-- | sdks/Make.config.sample | 3 |
2 files changed, 3 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 diff --git a/sdks/Make.config.sample b/sdks/Make.config.sample index 12db187a10c..e158632bd13 100644 --- a/sdks/Make.config.sample +++ b/sdks/Make.config.sample @@ -9,6 +9,9 @@ #Disables build WebAssembly #DISABLE_WASM = 1 +#Disables WebAssembly Windows cross build +#DISABLE_WASM_CROSS = 1 + #Disables building the BCL #DISABLE_BCL = 1 |