diff --git a/doc/scripts/shlint.sh b/doc/scripts/shlint.sh index 8189588..2d186ee 100755 --- a/doc/scripts/shlint.sh +++ b/doc/scripts/shlint.sh @@ -70,8 +70,7 @@ target="$1" [ $clean -ne 0 ] && return 0 ret=0 -> "$target" for i in $($FIND "../doc" "../src" "../tests" "../tools" -name '*.sh'); do - $DEBUG $SHLINT "$i" 2>> "$target" || ret=2 -done + $DEBUG $SHLINT "$i" || ret=2 +done 2> "$target" exit $ret diff --git a/doc/scripts/xmllint.sh b/doc/scripts/xmllint.sh index c5f911d..78469b2 100755 --- a/doc/scripts/xmllint.sh +++ b/doc/scripts/xmllint.sh @@ -71,8 +71,7 @@ target="$1" [ $clean -ne 0 ] && return 0 ret=0 -> "$target" for i in $($FIND "../src" "../tools" -name '*.xml' -o -name '*.xsl'); do - $DEBUG $XMLLINT "$i" > "$DEVNULL" 2>> "$target" || ret=2 -done + $DEBUG $XMLLINT "$i" > "$DEVNULL" || ret=2 +done 2> "$target" exit $ret