diff options
author | James Youngman <jay@gnu.org> | 2007-04-16 17:51:06 +0000 |
---|---|---|
committer | James Youngman <jay@gnu.org> | 2007-04-16 17:51:06 +0000 |
commit | 5483a042a6548648513721f9d4fb3314137c336a (patch) | |
tree | a2f7584571460568d66c9c42f1cc2e6ead00ea6b /import-gnulib.sh | |
parent | 494683133acfc6342ae6b7531ff8bd074c050f7d (diff) | |
download | findutils-5483a042a6548648513721f9d4fb3314137c336a.tar.gz |
Issue a clearer error message if the autotools fail.
Diffstat (limited to 'import-gnulib.sh')
-rwxr-xr-x | import-gnulib.sh | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/import-gnulib.sh b/import-gnulib.sh index 5dc4fd0e..39cf598f 100755 --- a/import-gnulib.sh +++ b/import-gnulib.sh @@ -233,11 +233,15 @@ main() { ## Invoke gnulib-tool to import the code. local tool="${gnulibdir}"/gnulib-tool - run_gnulib_tool "${tool}" && - hack_gnulib_tool_output "${gnulibdir}" && - refresh_output_files && - update_version_file && - echo Done. + if run_gnulib_tool "${tool}" && + hack_gnulib_tool_output "${gnulibdir}" && + refresh_output_files && + update_version_file ; then + echo Done. + else + echo FAILED >&2 + exit 1 + fi } main "$@" |