Add necessary file from pre-v15 branch.

diff --git a/v7/src/microcode/make-compinit b/v7/src/microcode/make-compinit
new file mode 100755 (executable)
index 0000000..df352d3
--- /dev/null
+++ b/v7/src/microcode/make-compinit
@@ -0,0 +1,4 @@
+#!/bin/sh
+grep \^DECLARE_COMPILED_CODE "${@}" | sed -e 's/.*:/  /'
+grep \^DECLARE_COMPILED_DATA "${@}" | sed -e 's/.*:/  /'
+grep \^DECLARE_DATA_OBJECT "${@}" | sed -e 's/.*:/  /'