Mirror/ardupilot
5
0
Fork 0
mirror of https://github.com/ArduPilot/ardupilot synced 2025-02-07 08:23:56 -04:00
Code Issues Packages Projects Releases Wiki Activity

Tools: ci: disable ccache for Make builds

Browse Source
This commit is contained in:
Francisco Ferreira 2017-08-25 01:14:16 +01:00 committed by Randy Mackay
parent 7d5bc577d3
commit 8dcc555519
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Tools/scripts/build_ci.sh
View File

@ -78,10 +78,9 @@ for t in $CI_BUILD_TARGET; do
fi
start_time=$(get_time)
make $t -j2
CCACHE_DISABLE="true" make $t -j2
diff_time=$(($(get_time)-$start_time))
echo -e "\033[32m'make' finished successfully (${diff_time}s)\033[0m"
ccache -s && ccache -z
popd
done
fi