projects / mono.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58245a3) | patch
[jenkins] Don't overwrite EXTRA_CONF_FLAGS inside run-jenkins.sh
authorJo Shields <jo.shields@xamarin.com>
Tue, 26 Apr 2016 14:53:55 +0000 (15:53 +0100)
committerJo Shields <jo.shields@xamarin.com>
Tue, 26 Apr 2016 14:53:55 +0000 (15:53 +0100)
commita826d9cbb9e1bd3e83d9ca959c15a811f66619b1
treeed557f62c460766e1beed545394e73e77dc4f931tree | snapshot
parent58245a39e4f96a8537192b2c9872dbf6e0605686commit | diff
[jenkins] Don't overwrite EXTRA_CONF_FLAGS inside run-jenkins.sh

This means we can pass EXTRA_CONF_FLAGS to the script, to more easily change the script behaviour from Jenkins
scripts/ci/run-jenkins.sh diff | blob | history
my mono mirror. check out Moved to http://github.com/mono/mono