From e2b367102a65fc9f9a4382a366ae2b7fd5d84e1f Mon Sep 17 00:00:00 2001 From: Pasi Kallinen Date: Tue, 10 Oct 2017 17:50:39 +0300 Subject: [PATCH] Complain if hints file does not exist --- sys/unix/setup.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/sys/unix/setup.sh b/sys/unix/setup.sh index f3319adb7..5c210264c 100755 --- 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