1 files changed, 0 insertions, 22 deletions
diff --git a/codegen/vulkan/scripts/ci/check_undefined b/codegen/vulkan/scripts/ci/check_undefined
deleted file mode 100755
index b747b1db..00000000
--- a/codegen/vulkan/scripts/ci/check_undefined
+++ /dev/null
@@ -1,22 +0,0 @@
-#!/bin/bash
-
-# Copyright 2020-2021 The Khronos Group, Inc.
-# SPDX-License-Identifier: Apache-2.0
-
-# scripts/ci/check_undefined
-# Check for non-tagged 'undefined' in spec sources.
-# Skip appendices/VK* files, which are non-normative.
-# Ideally we would skip NOTES too, but that would require parsing.
-
-undefined=/tmp/undefined
-ls chapters/*txt chapters/*/*txt appendices/[A-UW-Za-z]*txt | \
-    xargs egrep -E '(^|[[:space:]])undefined($|[^:])' > $undefined
-if test `cat $undefined | wc -l` -gt 0 ; then
-    echo "*** Found un-tagged uses of 'undefined'"
-    cat $undefined
-    rm $undefined
-    exit 1
-else
-    rm $undefined
-    exit 0
-fi