2019-12-11 06:51:19 -08:00
|
|
|
#!/bin/bash
|
2018-07-10 15:43:55 -07:00
|
|
|
|
|
|
|
set -e
|
|
|
|
|
2019-12-11 06:51:19 -08:00
|
|
|
travis_fold start "ccache-stats"
|
|
|
|
travis_time_start "ccache-stats"
|
2018-07-10 15:43:55 -07:00
|
|
|
if [ "$DISTRO" != "" ] ; then
|
|
|
|
docker exec $(cat $HOME/cid) ccache -s
|
2019-12-30 08:38:03 -08:00
|
|
|
elif [ "$TRAVIS_OS_NAME" = "osx" ]; then
|
2018-07-10 15:43:55 -07:00
|
|
|
ccache -s
|
|
|
|
fi
|
2019-12-11 06:51:19 -08:00
|
|
|
travis_time_finish "ccache-stats"
|
|
|
|
travis_fold end "ccache-stats"
|