diff options
| author |   Burt Silverman <burtms@gmail.com> | 2019-09-30 09:50:42 -0400 |
|---|---|---|
| committer |   Dave Barach <openvpp@barachs.net> | 2019-09-30 22:02:56 +0000 |
| commit | 839a7bce3872f992f4807ee6d6a76f9b361151dc (patch) | |
| tree | 1655faf9bad6bf25dc8ea467504cdbddcb0c019c /src/plugins/map | |
| parent | 8133c780a22480496c74a4ead321e8350d5beeb4 (diff) | |
build: build-root/Makefile rm of install tree
Type: fix
The scenario is touch of a dpdk source file in places like
<TOP>/build-root/build-vpp-native/external/dpdk-19.08/. The subsequent
build will trigger an rm -rf $(PACKAGE_INSTALL_DIR) by
build-root/Makefile at around line 709. Because the package in
question, "external", consists of various "sub" packages, all of which
are controlled with files like .quicly.install.ok located in
build-root/build-vpp[_debug]-native/external, we end up not handling the
.*.install.ok files to reflect the removal of that PACKAGE_INSTALL_DIR.
This fix will correct that, at least for the case of touching/changing
dpdk files. A better long term solution would be to change the "sub"
packages to be full fledged build system packages, as Dave Barach points
out.
Signed-off-by: Burt Silverman <burtms@gmail.com>
Change-Id: Ia94ccaa2795cbf354b5921c3001a7141313b66be
Diffstat (limited to 'src/plugins/map')
0 files changed, 0 insertions, 0 deletions