diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-04-05 18:04:11 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-05 18:04:11 -0700 |
| commit | 00a20b53ce998f52b18303a7a680e6a00acc098c (patch) | |
| tree | 2aaf6422fa5c9dc603239a3159cbd079321ca6dd /src/main/driver_unified.cpp | |
| parent | 1409f24edfcf91698293cc41b43e56a5194b0fde (diff) | |
parsekinds: Remove DEFAULT_HEADER. (#6294)
DEFAULT_HEADER in src/api/parsekinds.py is essentially unused since both genkinds.py scripts pass the kinds header to the script. The current value of DEFAULT_HEADER does not work for the scripts since the working directory for genkinds.py is in src/api/{java,python}.
Diffstat (limited to 'src/main/driver_unified.cpp')
0 files changed, 0 insertions, 0 deletions