diff options
| author | Luca Deri <deri@ntop.org> | 2018-05-11 13:49:11 +0200 |
|---|---|---|
| committer | Luca Deri <deri@ntop.org> | 2018-05-11 13:49:11 +0200 |
| commit | 8380b505f4142f1af83a22cac9f9131248d4c3f7 (patch) | |
| tree | ecbe96d299438324ffc1cb1fee12e3ff0a08d87c | |
| parent | 564d622cc994dc0f2960b3beb0af1ebe02881187 (diff) | |
| parent | a06735009803717f59de2d47979df65ca6932a85 (diff) | |
Merge branch 'dev' of https://github.com/ntop/nDPI into dev
| -rw-r--r-- | configure.seed | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/configure.seed b/configure.seed index a94f891d1..9813f54c0 100644 --- a/configure.seed +++ b/configure.seed @@ -62,10 +62,9 @@ LIBS=$BKP if test "x$ac_cv_lib_hs_hs_compile_multi" = xyes; then : AC_CHECK_LIB([m], [pow]) AC_CHECK_LIB([stdc++], [main]) -fi - HS_INC=`pkg-config --cflags libhs` HS_LIB=`pkg-config --libs libhs` +fi if test -f $PCAP_HOME/libpcap/libpcap.a; then : echo "Using libpcap from $PCAP_HOME" |