projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
aa48ef3
)
[project @ 1997-10-06 09:17:54 by simonm]
author
simonm
<unknown>
Mon, 6 Oct 1997 09:17:54 +0000
(09:17 +0000)
committer
simonm
<unknown>
Mon, 6 Oct 1997 09:17:54 +0000
(09:17 +0000)
bogus '/' crept in.
configure.in
patch
|
blob
|
history
diff --git
a/configure.in
b/configure.in
index
f344837
..
13d1e3a
100644
(file)
--- a/
configure.in
+++ b/
configure.in
@@
-31,7
+31,7
@@
fi
# Remove some automounter nonsense (Glasgow specific gruff)
#
hardtop=`pwd`
# Remove some automounter nonsense (Glasgow specific gruff)
#
hardtop=`pwd`
-hardtop=`echo $hardtop | sed 's|^/tmp_mnt.*\(/local/.*\)$|\1|' | /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"
echo ''
echo "*** The top of your build tree is: $hardtop"