xamarin-macios/jenkins.sh

#!/bin/bash -e

./configure --disable-ios-device
time make world

make -j8 -C tools/apidiff jenkins-api-diff
make -C tests jenkins || true
[jenkins] Add initial script to execute on jenkins. (#65) 2016-05-18 21:27:59 +03:00			`#!/bin/bash -e`

[configure] Add option to disable device-related parts of the build. (#67) And use it when building on jenkins. 2016-05-19 15:33:35 +03:00			`./configure --disable-ios-device`
[jenkins] Add initial script to execute on jenkins. (#65) 2016-05-18 21:27:59 +03:00			`time make world`
[jenkins] Run the api diff. (#73) 2016-06-02 15:30:17 +03:00
			`make -j8 -C tools/apidiff jenkins-api-diff`
[jenkins] Ignore test errors for now. 2016-06-15 18:04:56 +03:00			`make -C tests jenkins \|\| true`