Fix "make clean"

2016-01-20 02:08:34 +01:00 · 2016-01-20 02:08:34 +01:00 · ef0ad13680
commit ef0ad13680
parent 0bb41efbf1
2 changed files with 2 additions and 2 deletions
--- a/doc/scripts/shlint.sh
+++ b/doc/scripts/shlint.sh
@ -115,7 +115,7 @@ fi
 target="$1"

 #clean
-[ $clean -ne 0 ] && return 0
+[ $clean -ne 0 ] && exit 0

 exec 3>&1
 _shlint > "$target"
--- a/doc/scripts/xmllint.sh
+++ b/doc/scripts/xmllint.sh
@ -116,7 +116,7 @@ fi
 target="$1"

 #clean
-[ $clean -ne 0 ] && return 0
+[ $clean -ne 0 ] && exit 0

 exec 3>&1
 _xmllint > "$target"