From 806cd783045d19c985eec4863b9a488535ae331a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 2 Feb 2015 12:59:17 +0000
Subject: Fix test defeated by binary install

---
 bin/proofgeneral | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bin')

diff --git a/bin/proofgeneral b/bin/proofgeneral
index 56a4bef6..05d26724 100644
--- a/bin/proofgeneral
+++ b/bin/proofgeneral
@@ -75,7 +75,7 @@ do shift; done
 if [ -z "$PGHOME" ] || [ ! -d "$PGHOME" ]; then
     # default relative to this script, otherwise PGHOMEDEFAULT
     MYDIR="`readlink --canonicalize "$0" | sed -ne 's,/bin/proofgeneral$,,p'`"
-    if [ -d "$MYDIR" ]; then
+    if [ -d "$MYDIR/generic" ]; then
 	PGHOME="$MYDIR"
     elif [ -d "$PGHOMEDEFAULT" ]; then
 	PGHOME="$PGHOMEDEFAULT"
-- 
cgit v1.2.3