From 154774bb4b972bede7f2814340eced8bb1672dae Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Sun, 16 Oct 2022 23:12:06 +0200 Subject: [PATCH] fix syntax --- debian/rules | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/debian/rules b/debian/rules index 0e78517c..85298229 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 $$CCACHE_ERROR_LOG; \ ls -al /opt/sccache/*; \ fi echo "Using gcc: " @@ -658,12 +658,12 @@ debian-full-build: echo "Using cmake: $(CMAKE_BIN)" # linker hack so stage2 can link against stage1 libs at runtime LD_LIBRARY_PATH=$(STAGE_1_LIB_DIR):$$LD_LIBRARY_PATH \ - VERBOSE=1 $(PRE_PROCESS) $(CMAKE_BIN) --build $(TARGET_BUILD) $(NJOBS) --target stage2||cat $SCCACHE_ERROR_LOG + VERBOSE=1 $(PRE_PROCESS) $(CMAKE_BIN) --build $(TARGET_BUILD) $(NJOBS) --target stage2||cat $$SCCACHE_ERROR_LOG # If we used sccache, shows stats if test -f /opt/sccache/sccache; then \ /opt/sccache/sccache --show-stats; \ - cat $SCCACHE_ERROR_LOG; \ + cat $$SCCACHE_ERROR_LOG; \ fi # Check the stage 2 build worked