diff options
author | Ossama Othman <ossama-othman@users.noreply.github.com> | 1999-12-21 05:52:16 +0000 |
---|---|---|
committer | Ossama Othman <ossama-othman@users.noreply.github.com> | 1999-12-21 05:52:16 +0000 |
commit | de9662315e2d536df71a2ef9ea992fbca513f53a (patch) | |
tree | 32d06935c6ac54a21085d6e855a486ae9cd25a6d | |
parent | dd75428064fb3892178c83977325361ff098e6bc (diff) | |
download | ATCD-de9662315e2d536df71a2ef9ea992fbca513f53a.tar.gz |
Exit if man directories are missing. They shouldn't be missing since
they are supposed to contain Makefile.am files.
-rwxr-xr-x | bin/bootstrap | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/bootstrap b/bin/bootstrap index f3975eec051..05d0a972382 100755 --- a/bin/bootstrap +++ b/bin/bootstrap @@ -170,6 +170,7 @@ if test -d m4; then else test -f man/man3/Makefile.am || echo 'man/man3/Makefile.am is missing!' test -f man/html/Makefile.am || echo 'man/html/Makefile.am is missing!' + exit 1; fi # test -f man/man3/Makefile.am && test -f man/html/Makefile.am # Update the NEWS file |