diff options
| author | Luca Deri <deri@ntop.org> | 2018-11-19 18:28:10 +0100 |
|---|---|---|
| committer | Luca Deri <deri@ntop.org> | 2018-11-19 18:28:10 +0100 |
| commit | 5259ba2bcbb332f21de8f3fcfea6efdb519f9460 (patch) | |
| tree | 6c09701824bd3638feb2c22063049aaf8d328280 /src | |
| parent | 582da8d4bb00ed6be656451fbd6ebde6719c5ce2 (diff) | |
| parent | babb1c864c47437d37cfc005967aab5e635d754c (diff) | |
Merge branch 'dev' of https://github.com/ntop/nDPI into dev
Diffstat (limited to 'src')
| -rw-r--r-- | src/lib/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lib/Makefile.in b/src/lib/Makefile.in index aad90d486..1f07773e9 100644 --- a/src/lib/Makefile.in +++ b/src/lib/Makefile.in @@ -46,7 +46,7 @@ $(NDPI_LIB_STATIC): $(OBJECTS) $(NDPI_LIB_SHARED): $(OBJECTS) $(CC) -shared -fPIC $(SONAME_FLAG) -o $@ $(OBJECTS) - ln -Ffsr $(NDPI_LIB_SHARED) $(NDPI_LIB_SHARED_BASE) + ln -Ffs $(NDPI_LIB_SHARED) $(NDPI_LIB_SHARED_BASE) %.o: %.c $(HEADERS) Makefile $(CC) $(CFLAGS) -c $< -o $@ @@ -57,6 +57,6 @@ clean: install: $(NDPI_LIBS) mkdir -p $(DESTDIR)$(libdir) cp $(NDPI_LIBS) $(DESTDIR)$(libdir)/ - ln -Ffsr $(DESTDIR)$(libdir)/$(NDPI_LIB_SHARED) $(DESTDIR)$(libdir)/$(NDPI_LIB_SHARED_BASE) + ln -Ffs $(DESTDIR)$(libdir)/$(NDPI_LIB_SHARED) $(DESTDIR)$(libdir)/$(NDPI_LIB_SHARED_BASE) mkdir -p $(DESTDIR)$(includedir) cp ../include/*.h $(DESTDIR)$(includedir) |