From 2712ea67dad04faa52871564b79efd1c82127294 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert <gaetan.gilbert@ens-lyon.fr>
Date: Tue, 30 May 2017 15:25:45 +0200
Subject: [readlink -f] doesn't work on OSX

We only want an absolute path, no need to follow symlinks.
---
 test-suite/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test-suite/Makefile')

diff --git a/test-suite/Makefile b/test-suite/Makefile
index 285460762..6c04abcaa 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -27,8 +27,8 @@
 
 # Default value when called from a freshly compiled Coq, but can be
 # easily overridden
-BIN := $(shell cd ..; readlink -f bin)/
 LIB := $(shell cd ..; pwd)
+BIN := $(LIB)/bin/
 
 coqtop := $(BIN)coqtop -coqlib $(LIB) -boot -q -batch -test-mode -R prerequisite TestSuite
 coqc := $(BIN)coqc -coqlib $(LIB) -R prerequisite TestSuite
-- 
cgit v1.2.3