blob: f93b64f8473811f4bf0402977089e674f5534f03 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#!/bin/sh
set -e
if [ "$DISTRO" != "" ] ; then
docker exec $(cat $HOME/cid) sh -c ".ci/docker-ccache-setup.sh $1"
docker exec $(cat $HOME/cid) ccache -pz
else
cp .ci/ccache.conf ~/.ccache
echo "base_dir = $pwd" >> ~/.ccache/ccache.conf
ccache -pz
fi
|
