diff options
Diffstat (limited to 'jjb')
| -rw-r--r-- | jjb/common/include-xds-header.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/jjb/common/include-xds-header.sh b/jjb/common/include-xds-header.sh index 126e79d4..c415edd9 100644 --- a/jjb/common/include-xds-header.sh +++ b/jjb/common/include-xds-header.sh @@ -3,3 +3,6 @@ # (c) 2018 Jan-Simon Moeller <jsmoeller@linuxfoundation.org> # License: GPLv2 +set -x +set -e + |