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 /src/lib | |
parent | 601928cc8ee1788098ea3dcdc4180b75b380bc84 (diff) |
Fixed broken `make dist' and added CI check.
Signed-off-by: Toni Uhlig <matzeton@googlemail.com>
Diffstat (limited to 'src/lib')
-rw-r--r-- | src/lib/Makefile.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/lib/Makefile.in b/src/lib/Makefile.in index 09e1a7d09..3b58d1fe6 100644 --- a/src/lib/Makefile.in +++ b/src/lib/Makefile.in @@ -56,6 +56,12 @@ $(NDPI_LIB_SHARED): $(OBJECTS) clean: /bin/rm -f $(NDPI_LIB_STATIC) $(OBJECTS) *.o *.so *.lo libndpi.so* +distdir: + cp ndpi_content_match.c.inc '$(distdir)/' + find . -type d | xargs -I'{}' mkdir -p '$(distdir)/{}' + find ../include -type f -name '*.h' | xargs -I'{}' cp '{}' '$(distdir)/{}' + find . -type f -name '*.c' -o -name '*.h' | xargs -I'{}' cp '{}' '$(distdir)/{}' + distclean: clean /bin/rm -f Makefile |