1 files changed, 9 insertions, 0 deletions
diff --git a/common/options.awk b/common/options.awk
new file mode 100644
index 000000000000..0c91f0718f07
--- /dev/null
+++ b/common/options.awk
@@ -0,0 +1,9 @@
+#	@(#)options.awk	10.1 (Berkeley) 6/8/95
+ 
+/^\/\* O_[0-9A-Z_]*/ {
+	printf("#define %s %d\n", $2, cnt++);
+	next;
+}
+END {
+	printf("#define O_OPTIONCOUNT %d\n", cnt);
+}