#!/bin/sh

time CCACHE_DISABLE=1 make -j1 -s $*