| changeset 3774 | b1bfd394b60a |
| parent 3763 | 31ec17820f49 |
| child 3864 | e0ce3d4ec47d |
--- a/src/Pure/IsaMakefile Mon Oct 06 09:26:00 1997 +0200 +++ b/src/Pure/IsaMakefile Mon Oct 06 18:20:15 1997 +0200 @@ -21,9 +21,12 @@ search.ML section_utils.ML sequence.ML sign.ML sorts.ML symtab.ML tactic.ML \ tctical.ML term.ML theory.ML thm.ML type.ML type_infer.ML unify.ML -$(OUT)/Pure: $(FILES) +Pure: $(FILES) @./mk -test: $(OUT)/Pure +RAW: $(FILES) + @./mk -r + +test: Pure .PRECIOUS: $(OUT)/Pure