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