changeset 10099 | 44da60e5331b |
parent 7371 | b176626f0d80 |
child 28500 | 4b79e5d3d0aa |
--- a/Admin/Benchmarks/IsaMakefile Thu Sep 28 13:12:23 2000 +0200 +++ b/Admin/Benchmarks/IsaMakefile Thu Sep 28 14:34:49 2000 +0200 @@ -27,7 +27,7 @@ $(LOG)/HOL-datatype.gz: $(OUT)/HOL HOL-datatype/Brackin.thy \ HOL-datatype/Instructions.thy HOL-datatype/SML.thy \ HOL-datatype/Verilog.thy - $(ISATOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype + @$(ISATOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype ## clean