diff --git a/util/LLgen/Makefile b/util/LLgen/Makefile index 216eb230..67d903cb 100644 --- a/util/LLgen/Makefile +++ b/util/LLgen/Makefile @@ -19,6 +19,9 @@ cmp: -cmp lib/rec $(LIBDIR)/rec -cmp lib/incl $(LIBDIR)/incl +distr: + cd src; make distr + opr: make pr | opr