diff options
| author | Luca Deri <deri@ntop.org> | 2020-08-19 22:01:03 +0200 |
|---|---|---|
| committer | Luca Deri <deri@ntop.org> | 2020-08-19 22:01:03 +0200 |
| commit | 59ac73b37f6d058b9058bc9c6e7d652f8f0eeb90 (patch) | |
| tree | 61eb7bbb97eb877931f5bb9a766989e7f4e711e4 | |
| parent | 115888ef7aeb66a461e3f5df98d3e5d43ade1c89 (diff) | |
Configure code cleanup
| -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` |