Strip some uninteresting extensions out of the parsed list.

1 files changed, 7 insertions, 1 deletions

diff --git a/scripts/driver-lack b/scripts/driver-lack
index 48d92a7..361cf5b 100755
--- a/scripts/driver-lack
+++ b/scripts/driver-lack
@@ -1,4 +1,10 @@
-grep . $@ | sed 's|:| |g' | sed 's|apps/||g' | awk '
+# Ignore WGL extensions (only care about linux)
+# Ignore EXT_texture_lod (1.2 feature)
+
+grep . $@ | sed 's|:| |g' | sed 's|apps/||g' | \
+     grep -v WGL | \
+     grep -v EXT_texture_lod | \
+     awk '
 {
    if (driver_name == "") {
       driver_name = $1;