From 7c66c4eb16d74aca179e022b9e3136eea2b5bd4a Mon Sep 17 00:00:00 2001 From: Maximilian Hils Date: Tue, 20 Mar 2018 15:04:31 +0100 Subject: abort doc scripts on error --- docs/ci | 1 + 1 file changed, 1 insertion(+) (limited to 'docs/ci') diff --git a/docs/ci b/docs/ci index 1584c5e1..b2f2252f 100755 --- a/docs/ci +++ b/docs/ci @@ -1,4 +1,5 @@ #!/bin/bash +set -e # This script gets run from CI to render and upload docs -- cgit v1.2.3