diff options
| author |   Pim van Pelt <pim@ipng.nl> | 2022-12-12 00:00:16 +0000 |
|---|---|---|
| committer | Pim van Pelt <pim@ipng.nl> | 2022-12-12 00:00:49 +0000 |
| commit | 1588222e72d19cc769ad0fa9b60349819e2e328f (patch) | |
| tree | b4bf35246aef84b633d25caf85a64ced3e8c4e9b /.github | |
| parent | 74ceb38a193e9050038c9db9138b3559ab31767d (diff) | |
papi: fix VPP_API_DIR
Docstring in VPP Python API says that find_api_dir() will search for
environment variable VPP_API_DIR first and foremost, except it doesn't.
Prepend VPP_API_DIR if it exists, and allow dirs to be omitted in case
it will be the empty list []
Type: fix
Signed-off-by: pim@ipng.nl
Change-Id: Ic892e4bb7d8ff50f18e64ddfd2a61343883f07ea
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions