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/es2api | |
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/es2api')
-rwxr-xr-x | src/mapi/es2api/ABI-check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mapi/es2api/ABI-check b/src/mapi/es2api/ABI-check index e0bf3c83143..5c9e8266246 100755 --- a/src/mapi/es2api/ABI-check +++ b/src/mapi/es2api/ABI-check @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/sh # Print defined gl.* functions not in GL ES 3.0 or in # (FIXME, none of these should be part of the ABI) |