[jenkins] Rename runtime presets to match CI tags
authorLudovic Henry <ludovic@xamarin.com>
Wed, 7 Dec 2016 22:07:54 +0000 (17:07 -0500)
committerLudovic Henry <ludovic@xamarin.com>
Thu, 8 Dec 2016 01:30:04 +0000 (20:30 -0500)
commit6f4d780594e069b76912fc068bb2a54bcf9e463a
tree17810e65126907f871c2004fde79e9c8bc3788a2
parentea519ada8c38cae67f56e27ca70d32923ce9f23a
[jenkins] Rename runtime presets to match CI tags
configure.ac
scripts/ci/run-jenkins.sh