Tools: ci: disable ccache for Make builds

2017-08-25 01:14:16 +01:00 · 2017-08-25 01:14:16 +01:00 · c073263c8d
parent 80e784c93d
commit c073263c8d
1 changed files with 1 additions and 2 deletions
--- a/Tools/scripts/build_ci.sh
+++ b/Tools/scripts/build_ci.sh
@ -74,10 +74,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