From 7694515f6045e15267708cfe2b6c56310e7a6cab Mon Sep 17 00:00:00 2001
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Wed, 5 Apr 2023 13:41:53 +0200
Subject: [PATCH] fix the check if sccache

---
 debian/rules | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/debian/rules b/debian/rules
index 2fa75e5b..1721a5ac 100755
--- a/debian/rules
+++ b/debian/rules
@@ -583,9 +583,9 @@ override_dh_ocamlclean:
 override_dh_ocaml:
 
 override_dh_auto_configure: preconfigure
-	if test -f $(SCCACHE_CMD); then \
-		ls -al $(SCCACHE_PATH)*; \
-	fi
+ifeq (${SCCACHE_ENABLE},yes)
+	ls -al $(SCCACHE_PATH)*
+endif
 	echo "Using gcc: "
 	$(CC) -v
 	$(CXX) -v