diff options
| author | Nicolas Despres <nicolas.despres@gmail.com> | 2011-04-18 18:49:20 (GMT) |
|---|---|---|
| committer | Nicolas Despres <nicolas.despres@gmail.com> | 2011-04-18 18:49:20 (GMT) |
| commit | 4428d96e630c01fb7620236078ba3ab0bc142553 (patch) | |
| tree | 530ba99fc884ae6b60de855ff55009e82217b5ae | |
| parent | 56695df41e5896650b53377129e992cb92f0f310 (diff) | |
| download | Ninja-4428d96e630c01fb7620236078ba3ab0bc142553.zip Ninja-4428d96e630c01fb7620236078ba3ab0bc142553.tar.gz Ninja-4428d96e630c01fb7620236078ba3ab0bc142553.tar.bz2 | |
Make include_file() never returns 1.
Otherwise the script is stopped because errexit option is set.
| -rwxr-xr-x | gen_doxygen_mainpage.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gen_doxygen_mainpage.sh b/gen_doxygen_mainpage.sh index d2652f0..3b44429 100755 --- a/gen_doxygen_mainpage.sh +++ b/gen_doxygen_mainpage.sh @@ -52,7 +52,7 @@ include_file() if ! [ -r "$file" ] then error "'$file' is not readable." - return 1 + return fi cat <<EOF * \\section $file @@ -62,7 +62,6 @@ EOF cat <<EOF \\endverbatim EOF - return 0 } if [ $# -eq 0 ] |