X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=configure.in;h=13d1e3a16cfa781ad5eb41b6bbc74a0be224eba8;hb=51bbe15ff6465e4e4abc227ceec6d534a1840df0;hp=e6281477805940e0bc54540130ea983afbfce555;hpb=74ed845eea44d4e9561969825674c34da5415b8c;p=ghc-hetmet.git

diff --git a/configure.in b/configure.in
index e628147..13d1e3a 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"