diff options
| author |   Damjan Marion <dmarion@me.com> | 2023-02-15 22:10:05 +0100 |
|---|---|---|
| committer |   Dave Wallace <dwallacelf@gmail.com> | 2023-03-07 02:29:56 +0000 |
| commit | 16cc15b23227c4ec866405b1bf205faf3d0f4a56 (patch) | |
| tree | 18060d5ffa607f4a6718351a3dcdc103598cbb4c /extras/scripts/check_documentation.sh | |
| parent | 1cada9ad78fa8d1b6e6d812e0e407cde7f05d262 (diff) | |
build: check for presence of python ply
Type: improvement
Change-Id: I4f190607bfce404fbe68ec968e6923509ea9519b
Signed-off-by: Damjan Marion <dmarion@me.com>
Diffstat (limited to 'extras/scripts/check_documentation.sh')
0 files changed, 0 insertions, 0 deletions