#!/bin/bash -e

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

make -j8 -C tools/apidiff jenkins-api-diff
make -C tests jenkins