diff options
| -rw-r--r-- | configure.seed | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/configure.seed b/configure.seed index 087150a39..ecde0579b 100644 --- a/configure.seed +++ b/configure.seed @@ -78,16 +78,15 @@ ADDITIONAL_LIBS= PCAP_HOME=$HOME/PF_RING/userland DPDK_TARGET= +AC_MSG_CHECKING([DPDK (used by ndpiReader)]) if test -d $HOME/DPDK; then : - echo "Enabling DPDK support in ndpiReader" + AC_MSG_RESULT(yes) DPDK_TARGET=dpdk else - echo "DPDK support disabled (missing $HOME/DPDK)" + AC_MSG_RESULT([no (missing $HOME/DPDK)]) fi -if test -d $PCAP_HOME; then : - echo -n "" -else +if ! test -d $PCAP_HOME; then : PCAP_HOME=`pwd`/../../PF_RING/userland fi SHORT_MACHINE=`uname -m | cut -b1-3` |