From de3346f052111a23ada2687af7a8b52150faec4a Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Thu, 5 Jan 2017 14:24:08 -0500
Subject: Replace $(shell pwd) with ${CURDIR}

On Cygwin, `$(shell pwd)` gives a Linux path (`/cygdrive/...`), which
is wrong.  We now use `${CURDIR}`, as per
http://stackoverflow.com/a/3679235.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 6831c4d14..58b0614cb 100644
--- a/Makefile
+++ b/Makefile
@@ -75,7 +75,7 @@ endif
 endif
 endif
 
-COQPATH?=$(shell pwd)/$(COQPRIME_FOLDER)
+COQPATH?=${CURDIR}/$(COQPRIME_FOLDER)
 export COQPATH
 
 coqprime:
-- 
cgit v1.2.3