From 45b42d4a3e70e0008ae7b1f47a3e6720830bed43 Mon Sep 17 00:00:00 2001 From: simonm <unknown> Date: Fri, 3 Oct 1997 15:21:52 +0000 Subject: [PATCH] [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. --- configure.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure.in b/configure.in index e62814778059..f34483738878 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" -- GitLab