add yet more hacks for tmp_mnt, this time to deal with amd-style mount
points.
# 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/|/|' | 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"