diff options
| author | Michael Drake <michael.drake@codethink.co.uk> | 2014-08-08 14:31:42 +0000 |
|---|---|---|
| committer | Michael Drake <michael.drake@codethink.co.uk> | 2014-08-08 14:31:42 +0000 |
| commit | 23f071657d9775a26b6f4075ee81bad134019062 (patch) | |
| tree | 93cf1c769b15638308a54946ca35a696e01e9b02 /mason/mason-report.sh | |
| parent | f8722850acc966ecbbf9704aa6913ecbb43c5501 (diff) | |
| download | definitions-23f071657d9775a26b6f4075ee81bad134019062.tar.gz | |
Use the local trove rather than upstream trove when polling for updates.
This prevents discovering changes, and then being unable to build them
because the local trove has not yet got them.
Diffstat (limited to 'mason/mason-report.sh')
| -rwxr-xr-x | mason/mason-report.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mason/mason-report.sh b/mason/mason-report.sh index 40ecbf62..0ef58315 100755 --- a/mason/mason-report.sh +++ b/mason/mason-report.sh @@ -209,7 +209,7 @@ if [ "$RESULT" = skip ]; then fi DURATION=$(( $(date +%s) - $(date --date="$START_TIME" +%s) )) -SHA1="$(cd "ws/$DEFINITIONS_REF/$UPSTREAM_TROVE_ADDRESS/baserock/baserock/definitions" && git rev-parse HEAD)" +SHA1="$(cd "ws/$DEFINITIONS_REF/$DISTBUILD_TROVE_ADDRESS/baserock/baserock/definitions" && git rev-parse HEAD)" update_report "$START_TIME" \ "$DISTBUILD_TROVE_ADDRESS" \ |