#!/bin/bash
ccd=${ccd-ccache gcc}; export CC=$ccd CXX=$ccd CAML_CC=$ccd
exec time -p ${bash-bash} build.bash build "$@"