From 7bb378c0d806b122faaefb08877abbda8dc4762d Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Wed, 3 Jul 2013 15:05:23 +0000 Subject: 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. --- .../unimportant-morphology-contents-do-not-change-cache-keys.script | 2 ++ 1 file changed, 2 insertions(+) (limited to 'tests.as-root') 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. -- cgit v1.2.1