diff options
| author | Toni Uhlig <matzeton@googlemail.com> | 2020-09-19 02:23:53 +0200 |
|---|---|---|
| committer | Toni Uhlig <matzeton@googlemail.com> | 2020-09-19 02:23:53 +0200 |
| commit | fdef6f3545bd4a8e722b2ace144a2b73a782f265 (patch) | |
| tree | c6673145cdc7bb6477626163192d70ab9edbb675 /example | |
| parent | 601928cc8ee1788098ea3dcdc4180b75b380bc84 (diff) | |
Fixed broken `make dist' and added CI check.
Signed-off-by: Toni Uhlig <matzeton@googlemail.com>
Diffstat (limited to 'example')
| -rw-r--r-- | example/Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/example/Makefile.in b/example/Makefile.in index 32e36677d..4d0c908f6 100644 --- a/example/Makefile.in +++ b/example/Makefile.in @@ -47,6 +47,10 @@ clean: /bin/rm -f _install _postbuild _postinstall _preinstall /bin/rm -rf build +distdir: + cp categories.txt mining_hosts.txt README.DPDK '$(distdir)/' + find . -maxdepth 1 -type f -name '*.c' -o -name '*.h' -o -name '*.py' | xargs -I'{}' cp '{}' '$(distdir)/{}' + distclean: clean /bin/rm -f Makefile.dpdk /bin/rm -f Makefile |