author | wenzelm |
Thu, 28 Sep 2000 14:35:42 +0200 | |
changeset 10101 | 746263fbcbfd |
parent 10100 | 567b9676cb0a |
child 10102 | 3c21a2e616e7 |
Admin/makebin | file | annotate | diff | comparison | revisions |
--- a/Admin/makebin Thu Sep 28 14:35:23 2000 +0200 +++ b/Admin/makebin Thu Sep 28 14:35:42 2000 +0200 @@ -77,6 +77,7 @@ touch "heaps/$COMPILER/HOL-Real" touch "heaps/$COMPILER/ZF" else + ./build -b -m Pure-copied Pure ./build -b -m HOL-Real HOL ./build -b ZF rm -f "heaps/$COMPILER/Pure" "heaps/$COMPILER/FOL"