diff options
-rwxr-xr-x | mason/mason.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mason/mason.sh b/mason/mason.sh index 240cc347..13b97b7e 100755 --- a/mason/mason.sh +++ b/mason/mason.sh @@ -13,7 +13,7 @@ cd ws definitions_repo="$DEFINITIONS_REF"/"$DISTBUILD_TROVE_ADDRESS"/baserock/baserock/definitions if [ ! -e "$definitions_repo" ]; then - morph checkout git://"$DISTBUILD_TROVE_ADDRESS"/baserock/baserock/definitions.git "$DEFINITIONS_REF" + morph checkout git://"$DISTBUILD_TROVE_ADDRESS"/baserock/baserock/definitions "$DEFINITIONS_REF" cd "$definitions_repo" git config user.name "$TROVE_ID"-mason git config user.email "$TROVE_ID"-mason@$(hostname) |