diff options
| author | Emil Velikov <[email protected]> | 2017-02-22 16:04:05 +0000 |
|---|---|---|
| committer | Emil Velikov <[email protected]> | 2017-03-10 14:12:47 +0000 |
| commit | 9a502f5c47211366ab5b35d185d80b4b69089dd8 (patch) | |
| tree | c6a3becbefdfa675aa9b6ebdf33a9efa6d53a5d8 /src/mapi/glapi/gen/gl_procs.py | |
| parent | d73603fcdd63376080e90d03d96de402386c34f8 (diff) | |
mapi: do not mandate bash for es*api/ABI-check
Seemingly there is nothing bash specific in these. The Debian
checkbashisms does not spot neither run in zsh.
Signed-off-by: Emil Velikov <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]>
Diffstat (limited to 'src/mapi/glapi/gen/gl_procs.py')
0 files changed, 0 insertions, 0 deletions