diff options
author | Nicolas Despres <nicolas.despres@gmail.com> | 2011-04-18 07:23:42 (GMT) |
---|---|---|
committer | Nicolas Despres <nicolas.despres@gmail.com> | 2011-04-18 08:50:30 (GMT) |
commit | 56695df41e5896650b53377129e992cb92f0f310 (patch) | |
tree | 9e80c753cba941a0ed49c886624702845896edee | |
parent | d890582883ebec99346aae6dba3f3af52e543fa9 (diff) | |
download | Ninja-56695df41e5896650b53377129e992cb92f0f310.zip Ninja-56695df41e5896650b53377129e992cb92f0f310.tar.gz Ninja-56695df41e5896650b53377129e992cb92f0f310.tar.bz2 |
Call error() not fatal() if file is not found.
-rwxr-xr-x | gen_doxygen_mainpage.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gen_doxygen_mainpage.sh b/gen_doxygen_mainpage.sh index 39118a2..d2652f0 100755 --- a/gen_doxygen_mainpage.sh +++ b/gen_doxygen_mainpage.sh @@ -49,7 +49,11 @@ EOF include_file() { local file="$1" - test -r "$file" || fatal "'$file' is not readable." + if ! [ -r "$file" ] + then + error "'$file' is not readable." + return 1 + fi cat <<EOF * \\section $file * \\verbatim @@ -58,6 +62,7 @@ EOF cat <<EOF \\endverbatim EOF + return 0 } if [ $# -eq 0 ] |