diff --git a/debian/rules b/debian/rules index f6d1cdf2..cb71f972 100755 --- a/debian/rules +++ b/debian/rules @@ -514,6 +514,9 @@ override_dh_ocamlclean: override_dh_ocaml: override_dh_auto_configure: preconfigure + if test -f /opt/sccache/sccache; then \ + touch $CCACHE_ERROR_LOG; \ + fi echo "Using gcc: " $(CC) -v mkdir -p $(TARGET_BUILD)