diff options
Diffstat (limited to 'source/definitions_update.sh')
-rw-r--r-- | source/definitions_update.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/definitions_update.sh b/source/definitions_update.sh index 6fb627f..2ecad0e 100644 --- a/source/definitions_update.sh +++ b/source/definitions_update.sh @@ -1,6 +1,6 @@ #!/bin/sh # this will go on the definitions post-receive hook -set -e +set -ex category=definitions |