diff options
Diffstat (limited to 'get_definitions.sh')
-rw-r--r-- | get_definitions.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/get_definitions.sh b/get_definitions.sh index 63b5921..1733b42 100644 --- a/get_definitions.sh +++ b/get_definitions.sh @@ -1,8 +1,9 @@ #!/bin/sh set -ex +SHA="$1" if [ -d definitions ]; then sudo rm -rf definitions fi -git clone --no-checkout ssh://git@cu010-trove.codethink.com/baserock/baserock/definitions.git +git clone --no-checkout ssh://git@git.baserock.org/baserock/baserock/definitions.git cd definitions -git checkout "$1" +git checkout "$SHA" |