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