try propagating exit value

jorisvandenbossche · jorisvandenbossche · commit 67f4ae81883f · 2018-03-01T21:26:07.000+01:00
diff --git a/ci/run_build_docs.sh b/ci/run_build_docs.sh
@@ -7,4 +7,6 @@ echo "inside $0"
 # wait until subprocesses finish (build_docs.sh)
 wait
 
-exit 0
+RET="$?"
+
+exit "$RET"
