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 | |
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.
-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. |