dri: delete gen-symbol-redefs.py
authorEric Engestrom <eric@engestrom.ch>
Sun, 2 Feb 2020 15:11:16 +0000 (15:11 +0000)
committerMarge Bot <eric+marge@anholt.net>
Wed, 5 Feb 2020 00:46:46 +0000 (00:46 +0000)
commit6321e3fb9fd9cc9d817071d435c6b8a59869b8bc
tree7f1f428cb474ad8b52d26556eccb542917bc9b0d
parentbcb611361b08528b14d3c5827ee2c4b21de1199d
dri: delete gen-symbol-redefs.py

Introduced in ba10d79cca8d93c9f366 but it looks like it was never wired
into anything.

Signed-off-by: Eric Engestrom <eric@engestrom.ch>
Reviewed-by: Kristian H. Kristensen <hoegsberg@google.com>
Reviewed-by: Eric Anholt <eric@anholt.net>
Tested-by: Marge Bot <https://gitlab.freedesktop.org/mesa/mesa/merge_requests/3669>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/merge_requests/3669>
src/mesa/drivers/dri/gen-symbol-redefs.py [deleted file]