#!/bin/bash -e
./configure --disable-ios-device
time make world
make -j8 -C tools/apidiff jenkins-api-diff