New upstream version 18.08
[deb_dpdk.git] / mk / rte.sdkbuild.mk
index 53e0721..5dc43e4 100644 (file)
@@ -14,6 +14,7 @@ endif
 -include $(RTE_SDK)/mk/exec-env/$(RTE_EXEC_ENV)/rte.custom.mk
 
 buildtools: | lib
+kernel: | lib
 drivers: | lib buildtools
 app: | lib buildtools drivers
 test: | lib buildtools drivers