| changeset 25124 | a7dd8d3bf969 |
| parent 24480 | 97c0ef49fa8f |
| child 26213 | 3a190cb91c6c |
--- a/lib/scripts/run-polyml-5.0 Sat Oct 20 20:31:50 2007 +0200 +++ b/lib/scripts/run-polyml-5.0 Sat Oct 20 20:32:23 2007 +0200 @@ -67,7 +67,7 @@ ## run it! -MLTEXT="PolyML.Compiler.printInAlphabeticalOrder := false; $EXIT $COMMIT $MLTEXT" +MLTEXT="$EXIT $COMMIT $MLTEXT" MLEXIT="commit();" if [ -z "$TERMINATE" ]; then