diff options
| -rwxr-xr-x | scripts/docs-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/docs-build.sh b/scripts/docs-build.sh index c912bdf8c..91bb91a20 100755 --- a/scripts/docs-build.sh +++ b/scripts/docs-build.sh @@ -258,4 +258,4 @@ done deactivate -exit(error_count) +exit $error_count |