X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=aclocal.m4;h=d30b10146d9c10fdb698089c970789bd8bf975eb;hb=6735097cdbe113e74555a5a748b0648e5ed762b5;hp=db0904beb047092fe2a47f5fdacdb5145ca37b89;hpb=9b568f44572383f07ce0f7bf9ab9478410262475;p=ghc-hetmet.git

diff --git a/aclocal.m4 b/aclocal.m4
index db0904b..d30b101 100644
--- 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/|/|'`
 
-hardtop_plat="$hardtop"
-
 AC_SUBST(hardtop)
-AC_SUBST(hardtop_plat)
 
 AC_MSG_RESULT(${hardtop})