changeset 34271 | 70af06abb13d |
parent 32806 | 06561afcadaa |
child 36694 | 978e6469b504 |
--- a/src/Tools/Code/lib/Tools/codegen Tue Jan 05 11:25:14 2010 +0100 +++ b/src/Tools/Code/lib/Tools/codegen Tue Jan 05 11:38:51 2010 +0100 @@ -62,4 +62,4 @@ FULL_CMD="Unsynchronized.$QND_CMD quick_and_dirty; val thyname = \"$THY\"; val cmd = \"$CODE_CMD\"; $CTXT_CMD" -"$ISABELLE" -q -e "$FULL_CMD" "$IMAGE" || exit 1 +"$ISABELLE_PROCESS" -q -e "$FULL_CMD" "$IMAGE" || exit 1