Added a "distr" entry, which will be propagated to the src directory.
This commit is contained in:
parent
fd23647c1c
commit
c5345aaaba
1 changed files with 3 additions and 0 deletions
|
@ -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…
Reference in a new issue