diff options
| author | Lars Wirzenius <lars.wirzenius@codethink.co.uk> | 2013-07-03 15:05:23 +0000 |
|---|---|---|
| committer | Jonathan Maw <jonathan.maw@codethink.co.uk> | 2013-07-03 17:11:35 +0100 |
| commit | 7bb378c0d806b122faaefb08877abbda8dc4762d (patch) | |
| tree | ac75663fb3ef150a5654bf9187ce926e62bf1c8b /tests.as-root | |
| parent | 2ab48bd6ceb5a5f8287c651a6502d02d3f52fed2 (diff) | |
| download | morph-7bb378c0d806b122faaefb08877abbda8dc4762d.tar.gz | |
Add pushing to placate new petrify code
The petrify code needs the branches to be on the git server for it to
work, so we push things.
Diffstat (limited to 'tests.as-root')
| -rwxr-xr-x | tests.as-root/unimportant-morphology-contents-do-not-change-cache-keys.script | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests.as-root/unimportant-morphology-contents-do-not-change-cache-keys.script b/tests.as-root/unimportant-morphology-contents-do-not-change-cache-keys.script index 44b261d2..f4f33f21 100755 --- a/tests.as-root/unimportant-morphology-contents-do-not-change-cache-keys.script +++ b/tests.as-root/unimportant-morphology-contents-do-not-change-cache-keys.script @@ -31,6 +31,8 @@ cd "$DATADIR/workspace" ARTIFACT_COUNT="$(ls "$DATADIR/cache/artifacts" | wc -l)" # Petrify the refs, so the morphologies will be different +(set -e && cd branch1/test:morphs && git push --quiet origin HEAD) +(set -e && cd branch1/test:kernel-repo && git push --quiet origin HEAD) "$SRCDIR/scripts/test-morph" petrify # Build with the petrified morphologies. |