Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper use of PolyML.shareCommonData;
authorwenzelm
Thu, 28 Sep 2006 00:10:08 +0200
changeset 20750 8bd4e37ff05c
parent 20749 f7f2d03fe6f9
child 20751 93271c59d211
proper use of PolyML.shareCommonData;
lib/scripts/run-polyml-4.9.1 file | annotate | diff | comparison | revisions 
--- a/lib/scripts/run-polyml-4.9.1	Wed Sep 27 23:53:46 2006 +0200
+++ b/lib/scripts/run-polyml-4.9.1	Thu Sep 28 00:10:08 2006 +0200
@@ -61,7 +61,7 @@
   if [ -z "$COMPRESS" ]; then
     COMMIT="fun commit () = (PolyML.export (\"$OUTFILE\", PolyML.rootFunction); true);"
   else
-    COMMIT="fun commit () = (PolyML.export (\"$OUTFILE\", PolyML.shareCommonData PolyML.rootFunction); true);"
+    COMMIT="fun commit () = (PolyML.shareCommonData PolyML.rootFunction; PolyML.export (\"$OUTFILE\", PolyML.rootFunction); true);"
   fi
   [ -f "$OUTFILE" ] && { chmod +w "$OUTFILE" || fail_out; }
   rm -f "${OUTFILE}.o" || fail_out
isabelle