diff options
Diffstat (limited to 'tests.as-root/unimportant-morphology-contents-do-not-change-cache-keys.script')
| -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. |