diff options
-rwxr-xr-x | src/dpdk/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dpdk/Makefile b/src/dpdk/Makefile index 030e4ba9..25ec3f12 100755 --- a/src/dpdk/Makefile +++ b/src/dpdk/Makefile @@ -53,7 +53,7 @@ force_make: $(TAG_DONE_FLAG) $(AT)sed -i -e 's/CONFIG_RTE_BUILD_COMBINE_LIBS=./CONFIG_RTE_BUILD_COMBINE_LIBS=y/g' $(CONFIG_FILE) $(AT)sed -i -e 's/CONFIG_RTE_LIBRTE_VHOST=./CONFIG_RTE_LIBRTE_VHOST=y/g' $(CONFIG_FILE) $(AT)sed -i -e 's/CONFIG_RTE_LIBRTE_KNI=./CONFIG_RTE_LIBRTE_KNI=n/g' $(CONFIG_FILE) - $(AT)cd $(WORK_DIR); make install T=$(DPDK_TARGET) -j + $(AT)cd $(WORK_DIR); make install T=$(DPDK_TARGET) -j DESTDIR=$(WORK_DIR) $(AT)cd `dirname $(CONFIG_FILE)` && git checkout `basename $(CONFIG_FILE)` && cd - $(AT)echo "VHOST_USER = $(VHOST_USER)" ifeq ($(VHOST_USER),n) |