#!/bin/sh
set -e
if [ "$DISTRO" != "" ] ; then
docker exec $(cat $HOME/cid) ccache -s
elif [ "$TRAVIS_OS_NAME" = "osx" ]; then
ccache -s
fi