author | wenzelm |
Thu, 28 Sep 2000 14:34:49 +0200 | |
changeset 10099 | 44da60e5331b |
parent 10098 | ab0a3188f398 |
child 10100 | 567b9676cb0a |
--- 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