summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNicolas Despres <nicolas.despres@gmail.com>2011-04-18 07:23:42 (GMT)
committerNicolas Despres <nicolas.despres@gmail.com>2011-04-18 08:50:30 (GMT)
commit56695df41e5896650b53377129e992cb92f0f310 (patch)
tree9e80c753cba941a0ed49c886624702845896edee
parentd890582883ebec99346aae6dba3f3af52e543fa9 (diff)
downloadNinja-56695df41e5896650b53377129e992cb92f0f310.zip
Ninja-56695df41e5896650b53377129e992cb92f0f310.tar.gz
Ninja-56695df41e5896650b53377129e992cb92f0f310.tar.bz2
Call error() not fatal() if file is not found.
-rwxr-xr-xgen_doxygen_mainpage.sh7
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 ]