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 /extras/vagrant/env.sh | |
| 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 'extras/vagrant/env.sh')
0 files changed, 0 insertions, 0 deletions