1 2 3 4 5 6 7 8 9
#!/bin/sh set -e if [ "$DISTRO" != "" ] ; then docker exec $(cat $HOME/cid) ccache -s else ccache -s fi