diff options
Diffstat (limited to 'tests.branching')
| -rwxr-xr-x | tests.branching/petrify.script | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests.branching/petrify.script b/tests.branching/petrify.script index fed8e965..3134ab66 100755 --- a/tests.branching/petrify.script +++ b/tests.branching/petrify.script @@ -32,7 +32,7 @@ git push --quiet origin HEAD "$SRCDIR/scripts/test-morph" edit hello-system hello-stratum goodbye (cd ../test:goodbye && git push --quiet origin HEAD) -"$SRCDIR/scripts/test-morph" petrify +"$SRCDIR/scripts/test-morph" old-petrify echo "Petrified:" cat hello-stratum.morph |