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