projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Redo inlining patch, plus some tidying up
[ghc-hetmet.git]
/
aclocal.m4
diff --git
a/aclocal.m4
b/aclocal.m4
index
db0904b
..
d30b101
100644
(file)
--- a/
aclocal.m4
+++ b/
aclocal.m4
@@
-1121,10
+1121,7
@@
dnl Remove common automounter nonsense
dnl
hardtop=`echo $hardtop | sed 's|^/tmp_mnt.*\(/local/.*\)$|\1|' | sed 's|^/tmp_mnt/|/|'`
dnl
hardtop=`echo $hardtop | sed 's|^/tmp_mnt.*\(/local/.*\)$|\1|' | sed 's|^/tmp_mnt/|/|'`
-hardtop_plat="$hardtop"
-
AC_SUBST(hardtop)
AC_SUBST(hardtop)
-AC_SUBST(hardtop_plat)
AC_MSG_RESULT(${hardtop})
AC_MSG_RESULT(${hardtop})