From b57373872265c199ea986cdb259e4664c1cb4149 Mon Sep 17 00:00:00 2001
From: Sun Yuechi <sunyuechi@iscas.ac.cn>
Date: Sun, 14 Jun 2026 22:29:54 +0800
Subject: [PATCH] build/script: print sccache stats alongside ccache

sccache is enabled via WITH_SCCACHE, but run-make.sh only printed
ccache statistics after the build. Print `sccache --show-stats` too
when sccache is available.

Signed-off-by: Sun Yuechi <sunyuechi@iscas.ac.cn>
---
 src/script/run-make.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/script/run-make.sh b/src/script/run-make.sh
index 30ca35ce274..236af0cf669 100755
--- a/src/script/run-make.sh
+++ b/src/script/run-make.sh
@@ -190,6 +190,10 @@ function build() {
     ci_debug "Running cmake"
     $DRY_RUN cmake --build . $targets -- $BUILD_MAKEOPTS || return 1
     $DRY_RUN ccache -s # print the ccache statistics to evaluate the efficiency
+    # print sccache stats too when built with WITH_SCCACHE
+    if type sccache > /dev/null 2>&1; then
+        $DRY_RUN sccache --show-stats
+    fi
 }
 
 DEFAULT_MAKEOPTS=${DEFAULT_MAKEOPTS:--j$(get_processors)}
-- 
2.47.3