diff options
Diffstat (limited to 'get_definitions.sh')
| -rw-r--r-- | get_definitions.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/get_definitions.sh b/get_definitions.sh index 06e6736..53eb4d2 100644 --- a/get_definitions.sh +++ b/get_definitions.sh @@ -1,5 +1,5 @@ #!/bin/sh -set -e +set -ex if [ ! -d definitions ]; then git clone ssh://git@cu010-trove.codethink.com/baserock/baserock/definitions.git fi |