diff options
Diffstat (limited to 'build')
| -rw-r--r-- | build/external/packages/dpdk.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/external/packages/dpdk.mk b/build/external/packages/dpdk.mk index c370f4574e5..5b64703ed22 100644 --- a/build/external/packages/dpdk.mk +++ b/build/external/packages/dpdk.mk @@ -288,6 +288,7 @@ dpdk-config: $(B)/.dpdk-config.ok $(B)/.dpdk-build.ok: dpdk-config $(DPDK_BUILD_DEPS) @if [ ! -e $(B)/.dpdk-config.ok ] ; then echo 'Please run "make config" first' && false ; fi + @rm -f $(B)/.*.install.ok #deals with build-root/Makefile line 709 @make $(DPDK_MAKE_ARGS) install @touch $@ |