Added a "distr" entry, which will be propagated to the src directory.
This commit is contained in:
parent
5be59d3ade
commit
ff47f2ee43
@ -19,6 +19,9 @@ cmp:
|
||||
-cmp lib/rec $(LIBDIR)/rec
|
||||
-cmp lib/incl $(LIBDIR)/incl
|
||||
|
||||
distr:
|
||||
cd src; make distr
|
||||
|
||||
opr:
|
||||
make pr | opr
|
||||
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user