From: simonm <unknown>
Date: Fri, 3 Oct 1997 15:21:52 +0000 (+0000)
Subject: [project @ 1997-10-03 15:21:52 by simonm]
X-Git-Tag: Approx_2487_patches~1441
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=45b42d4a3e70e0008ae7b1f47a3e6720830bed43;p=ghc-hetmet.git

[project @ 1997-10-03 15:21:52 by simonm]
add yet more hacks for tmp_mnt, this time to deal with amd-style mount
points.
---

diff --git a/configure.in b/configure.in
index e628147..f344837 100644
--- a/configure.in
+++ b/configure.in
@@ -31,7 +31,7 @@ fi
 # Remove some automounter nonsense (Glasgow specific gruff)
 #
 hardtop=`pwd`
-hardtop=`echo $hardtop | sed 's|^/tmp_mnt/|/|' | sed 's|^/grasp_tmp|/local/grasp_tmp|'`
+hardtop=`echo $hardtop | sed 's|^/tmp_mnt.*\(/local/.*\)$|\1|' | /sed 's|^/tmp_mnt/|/|' | sed 's|^/grasp_tmp|/local/grasp_tmp|'`
 
 echo ''
 echo "*** The top of your build tree is: $hardtop"