dnl This would be
dnl make -C utils/pwd clean && make -C utils/pwd
dnl except we don't want to have to know what make is called. Sigh.
-if test ! -e utils/pwd/pwd && ! -e utils/pwd/pwd.exe; then
+if test ! -f utils/pwd/pwd && test ! -f utils/pwd/pwd.exe; then
cd utils/pwd
rm -f *.o
rm -f *.hi
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})