rm -f *.hi
rm -f pwd
rm -f pwd.exe
-$WithGhc -v0 --make pwd
+$WithGhc -v0 --make pwd -o pwd
cd ../..
hardtop=`utils/pwd/pwd forwardslash`
+if ! test -d "$hardtop"; then
+ AC_MSG_ERROR([cannot determine current directory])
+fi
+
dnl Remove common automounter nonsense
dnl
hardtop=`echo $hardtop | sed 's|^/tmp_mnt.*\(/local/.*\)$|\1|' | sed 's|^/tmp_mnt/|/|'`