diff options
| author |   Andrew Yourtchenko <ayourtch@gmail.com> | 2020-09-22 15:11:51 +0000 |
|---|---|---|
| committer |   Ole Tr�an <otroan@employees.org> | 2020-09-23 08:09:54 +0000 |
| commit | 6a3d4cc9a11efbe73a1cda35a64c619eebde0b24 (patch) | |
| tree | d669cc2362139b9fa25d20fe962e2cd880d8298e /build-root/vagrant | |
| parent | 5b7ea9122e5d9efc632633909933347c98cf3bfc (diff) | |
vppapigen: crcchecker: harmonize the in_progress marking
The format for deprecation is "option deprecated" now,
so harmonize the in-progress marking to logically be
"option in_progress"
At the same time recognize the legacy/erroneous
types of marking, print the warning.
Change-Id: If418dfadd69ffb112550164d63d13420e51cefd7
Type: fix
Signed-off-by: Andrew Yourtchenko <ayourtch@gmail.com>
Diffstat (limited to 'build-root/vagrant')
0 files changed, 0 insertions, 0 deletions