1 files changed, 1 insertions, 0 deletions
diff --git a/dist/s_all b/dist/s_all
index 064c443ce47..31abab28910 100755
--- a/dist/s_all
+++ b/dist/s_all
@@ -124,3 +124,4 @@ echo 'dist/s_all run finished'
 if test $errmode -ne 0; then
 	exit $errfound;
 fi
+exit 0