diff options
| author | Ivan Nardi <12729895+IvanNardi@users.noreply.github.com> | 2024-02-20 15:39:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-20 15:39:25 +0100 |
| commit | 4f2e642fbe52b6152f72545878b518e9d02d4e11 (patch) | |
| tree | 4741b4aaa846161539da7d8077a04980bd163461 | |
| parent | a1280a2fd11919ef68545330249a1d82db069768 (diff) | |
make install: avoid copying private header (#2323)
| -rw-r--r-- | src/lib/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/lib/Makefile.in b/src/lib/Makefile.in index 918547ad0..34ee039fe 100644 --- a/src/lib/Makefile.in +++ b/src/lib/Makefile.in @@ -96,4 +96,5 @@ install: $(NDPI_LIBS) cp -P $(NDPI_LIB_SHARED_BASE) $(DESTDIR)$(PREFIX)$(libdir)/ cp -P $(NDPI_LIB_SHARED_BASE).$(NDPI_VERSION_MAJOR) $(DESTDIR)$(PREFIX)$(libdir)/ mkdir -p $(DESTDIR)$(PREFIX)$(includedir) - cp ../include/*.h $(DESTDIR)$(PREFIX)$(includedir) + #Avoid installing private header + find ../include/*.h ! -name ndpi_private.h -exec cp "{}" $(DESTDIR)$(PREFIX)$(includedir)/ \; |