From 02b40f6cdb7ec56f34c6b773b1d7768b4b135fd9 Mon Sep 17 00:00:00 2001
From: Ike Mulder
Date: Fri, 26 Apr 2019 16:16:47 +0200
Subject: Fixed some escaping problems with arguments containing spaces in
 IDE's Compile buffer, and with building from a path containing spaces.

Updated CHANGES.md

Now using Filename.quote instead of enclosing in single quotes.

Fixed rebasing problems.
---
 test-suite/Makefile | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'test-suite')

diff --git a/test-suite/Makefile b/test-suite/Makefile
index 265c2eafa7..6a6b729578 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -33,10 +33,10 @@ include ../Makefile.common
 #######################################################################
 
 ifneq ($(wildcard ../_build),)
-BIN:=$(shell cd ..; pwd)/_build/install/default/bin/
-COQLIB:=$(shell cd ..; pwd)/_build/install/default/lib/coq
+BIN:='$(shell cd ..; pwd)'/_build/install/default/bin/
+COQLIB:='$(shell cd ..; pwd)'/_build/install/default/lib/coq
 else
-BIN := $(shell cd ..; pwd)/bin/
+BIN := '$(shell cd ..; pwd)'/bin/
 
 COQLIB?=
 ifeq ($(COQLIB),)
@@ -602,10 +602,10 @@ $(patsubst %.sh,%.log,$(wildcard misc/*.sh)): %.log: %.sh $(PREREQUISITELOG)
 	@echo "TEST      $<"
 	$(HIDE){ \
 	  echo $(call log_intro,$<); \
-	  export BIN="$(BIN)"; \
-	  export coqc="$(coqc)"; \
-	  export coqtop="$(coqc)"; \
-	  export coqdep="$(coqdep)"; \
+	  export BIN=$(BIN); \
+	  export coqc="eval $(coqc)"; \
+	  export coqtop="eval $(coqc)"; \
+	  export coqdep="eval $(coqdep)"; \
 	  "$<" 2>&1; R=$$?; times; \
 	  if [ $$R = 0 ]; then \
 	    echo $(log_success); \
-- 
cgit v1.2.3