projects
/
mono.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
67ccd74
)
[mobile_static] Use runtime_preset configuration option
author
Alexander Kyte
<alexmkyte@fastmail.com>
Thu, 2 Jun 2016 19:18:46 +0000
(15:18 -0400)
committer
Alexander Kyte
<alexmkyte@fastmail.com>
Mon, 13 Jun 2016 16:16:22 +0000
(12:16 -0400)
scripts/ci/run-jenkins.sh
patch
|
blob
|
history
diff --git
a/scripts/ci/run-jenkins.sh
b/scripts/ci/run-jenkins.sh
index bab0f012df5de0f00b6aec81d6394bcb987310f3..047b0d82bc78e54b5dbfc73a9ce9af0099b07cc6 100755
(executable)
--- a/
scripts/ci/run-jenkins.sh
+++ b/
scripts/ci/run-jenkins.sh
@@
-23,7
+23,7
@@
fi
if [[ ${CI_TAGS} == 'mobile_static' ]];
then
- EXTRA_CONF_FLAGS="${EXTRA_CONF_FLAGS} --with-
profile4_x=no --enable-minimal=com,remoting,reflection_emit_save,reflection_emit,appdomains --with-mobile_static --enable-nls=no
";
+ EXTRA_CONF_FLAGS="${EXTRA_CONF_FLAGS} --with-
runtime_profile=mobile_static
";
export PROFILE=mobile_static;
fi