1 files changed, 23 insertions, 0 deletions
diff --git a/scripts/missing-symbols b/scripts/missing-symbols
new file mode 100755
index 0000000..a7e65ba
--- /dev/null
+++ b/scripts/missing-symbols
@@ -0,0 +1,23 @@
+#!/usr/bin/env python
+
+import sys, re, subprocess
+
+def process(siv_path):
+    with open(siv_path) as f:
+        for line in f:
+            if line[0] == ' ':
+                # comment
+                continue
+            line = line.strip()
+            if line == '':
+                continue
+            parts = re.split(r'\s+', line)
+            if len(parts) >= 4:
+                # removed symbol, all are very old
+                continue
+            try:
+                subprocess.check_call(['git', 'grep', '-q', parts[0], 'src'])
+            except subprocess.CalledProcessError:
+                print('Missing %s (since %s)' % (parts[0], parts[1]))
+
+process(sys.argv[1])