From da5c2dd727acbf5f0a97bf9d2b01d6c445ce8792 Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Mon, 17 Oct 2022 07:39:50 +0200 Subject: [PATCH] fix a typo --- debian/rules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/rules b/debian/rules index 01d3baeb..667450a6 100755 --- a/debian/rules +++ b/debian/rules @@ -515,7 +515,7 @@ override_dh_ocaml: override_dh_auto_configure: preconfigure if test -f /opt/sccache/sccache; then \ - touch $$CCACHE_ERROR_LOG; \ + touch $$SCCACHE_ERROR_LOG; \ ls -al /opt/sccache/*; \ ls -al /usr/bin/g++-*; \ fi