From 4b8ec4bcaa087e35b5a82afc2c325fee2a67f7a4 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Thu, 17 Jan 2019 20:42:25 -0500 Subject: Correct environment variable settings when running tests MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit $PWD doesn’t work in Makefiles – Make expands $P (to the empty string) and passes `WD` literally to the shell. Replace `$PWD` with `$(shell pwd)`. --- debian/rules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/rules b/debian/rules index 7c820e03..8ffcd917 100755 --- a/debian/rules +++ b/debian/rules @@ -83,7 +83,7 @@ endif .PHONY: override_dh_auto_test override_dh_auto_test: ifeq (,$(filter nocheck,$(DEB_BUILD_OPTIONS))) - CAML_LD_LIBRARY_PATH=$PWD/kernel/byterun COQLIB=$PWD \ + CAML_LD_LIBRARY_PATH=$(shell pwd)/kernel/byterun COQLIB=$(shell pwd) \ $(MAKE) test-suite COMPLEXITY= endif -- cgit v1.2.3