2016-05-18 21:27:59 +03:00
|
|
|
#!/bin/bash -e
|
|
|
|
|
2016-05-19 15:33:35 +03:00
|
|
|
./configure --disable-ios-device
|
2016-05-18 21:27:59 +03:00
|
|
|
time make world
|
2016-06-02 15:30:17 +03:00
|
|
|
|
|
|
|
make -j8 -C tools/apidiff jenkins-api-diff
|
2016-06-15 18:04:56 +03:00
|
|
|
make -C tests jenkins || true
|