diff options
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/scan-pkgs.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/scan-pkgs.sh b/scripts/scan-pkgs.sh index 956892e5f..c92c6c107 100644 --- a/scripts/scan-pkgs.sh +++ b/scripts/scan-pkgs.sh @@ -326,4 +326,11 @@ if [[ -n $NEED_PYTHON ]]; then fi fi +if [[ -n $ADK_USE_CCACHE ]]; then + if ! which ccache >/dev/null 2>&1; then + echo >&2 You have selected to build with ccache, but ccache could not be found. + out=1 + fi +fi + exit $out |