File indexing completed on 2024-04-28 05:13:32 

0001 function setup_icecc {
0002     echo "setup icecc"
0003     /usr/sbin/iceccd --no-remote -d -l /home/developer/iceccd.log -s ${ICECC_SERVER} -N docker
0004     export PATH=/usr/lib/ccache:$PATH
0005     export CCACHE_PREFIX=icecc
0006 }
0007 
0008 if [[ $ICECC_SERVER ]]; then
0009     if ! pidof iceccd > /dev/null; then
0010         setup_icecc
0011     fi
0012 fi