diff options
author | Simon Chatterjee <code@chatts.net> | 2020-06-15 17:17:18 +0000 |
---|---|---|
committer | Dave Barach <openvpp@barachs.net> | 2020-06-15 18:46:38 +0000 |
commit | 810ad343de3bc2680f8f8be67027f87da196f5d1 (patch) | |
tree | 4790f9b98b43ccf1738b904f7f80d3b1ff5ef4e3 /src/plugins/dhcp/dhcp_proxy.h | |
parent | 66ec467cda9955a7d72f1ac0639e42909f4fdea7 (diff) |
build: remove un-needed script
The move to cmake obviates the need for this build script (and its terminology).
Type: make
Signed-off-by: Simon Chatterjee <code@chatts.net>
Change-Id: Ie17429bfdf5a4b02ce2b70ba3568a7445c162d38
Diffstat (limited to 'src/plugins/dhcp/dhcp_proxy.h')
0 files changed, 0 insertions, 0 deletions