diff options
| author | Emil Velikov <[email protected]> | 2017-02-22 18:15:59 +0000 |
|---|---|---|
| committer | Emil Velikov <[email protected]> | 2017-03-10 14:12:48 +0000 |
| commit | 05c1d6d564daf6ab1a4c3df1450effb6ef28d24a (patch) | |
| tree | 5d9f4b790fbb0144b43e679d21ffc49dd6a429b5 /src/util | |
| parent | fb187d22325b105adff339990e12479be004bbed (diff) | |
dri: use correct shebang for gen-symbol-redefs.py
This is a python2 script and the generic "python" may point to python3.
Signed-off-by: Emil Velikov <[email protected]>
Reviewed-by: Andreas Boll <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]>
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions