X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=Remakefile.in;h=627f79ca540fe85b593140462357deccc60d33eb;hp=f8552fe32185270f60a771c6eccb677e0893f653;hb=70f2c64d258b045055bc885826e3804b5f2315cb;hpb=fa7e819743a4a6d008ec086dfdeb2e30df2da701 diff --git a/Remakefile.in b/Remakefile.in index f8552fe..627f79c 100644 --- a/Remakefile.in +++ b/Remakefile.in @@ -66,8 +66,10 @@ distclean: clean test_clean %.ml: if test -f $*.mly; then + $(REMAKE) $*.mly $(OCAMLYACC) $*.mly elif test -f $*.mll; then + $(REMAKE) $*.mll $(OCAMLLEX) $*.mll fi