Complain if hints file does not exist

diff --git a/sys/unix/setup.sh b/sys/unix/setup.sh
index f3319adb77829ccdcc394463b5e815414a97ac36..5c210264ced0601bcc67ae70e18dc24dd53d099b 100755 (executable)
--- a/sys/unix/setup.sh
+++ b/sys/unix/setup.sh
@@ -26,6 +26,11 @@ x)      hints=/dev/null
         ;;
 esac
 
+if [ ! -f "$hints" ]; then
+    echo "Cannot find hints file $hfile"
+    exit 1
+fi
+
 /bin/sh ./mkmkfile.sh Makefile.top TOP ../../Makefile $hints $hfile
 /bin/sh ./mkmkfile.sh Makefile.dat DAT ../../dat/Makefile $hints $hfile
 /bin/sh ./mkmkfile.sh Makefile.doc DOC ../../doc/Makefile $hints $hfile