diff options
| author | Luca Deri <lucaderi@users.noreply.github.com> | 2018-11-28 23:20:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-28 23:20:34 +0100 |
| commit | f1e5ed47660a37d4a15b93bf79faf7a0357754d2 (patch) | |
| tree | edc3512d94f046fc2424ac7f31d0b4818ace6af7 /src | |
| parent | 5429063546fe8a73adc50e2d6eac4e00046c4424 (diff) | |
| parent | a3abbc3ebb851c7316b6694efc5036d40324d103 (diff) | |
Merge pull request #642 from vitalivanov/pull_buildsys_improvements
Pull buildsys improvements
Diffstat (limited to 'src')
| -rw-r--r-- | src/lib/Makefile.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/lib/Makefile.in b/src/lib/Makefile.in index 1f07773e9..297869fe3 100644 --- a/src/lib/Makefile.in +++ b/src/lib/Makefile.in @@ -52,7 +52,10 @@ $(NDPI_LIB_SHARED): $(OBJECTS) $(CC) $(CFLAGS) -c $< -o $@ clean: - /bin/rm -f $(NDPI_LIB_STATIC) $(OBJECTS) *.o *.so *.lo + /bin/rm -f $(NDPI_LIB_STATIC) $(OBJECTS) *.o *.so *.lo $(NDPI_LIB_SHARED) + +distclean: clean + /bin/rm -f Makefile install: $(NDPI_LIBS) mkdir -p $(DESTDIR)$(libdir) |