diff src/mkdefs @ 2335:4a9feb849125

[project @ 1996-07-19 02:51:02 by jwe] Initial revision
author jwe
date Fri, 19 Jul 1996 02:53:49 +0000
parents
children 35a6d027772c
line wrap: on
line diff
new file mode 100755
--- /dev/null
+++ b/src/mkdefs
@@ -0,0 +1,12 @@
+#!/bin/sh
+
+sed -n -e '/^BEGIN_INSTALL_BUILTIN/{
+  : loop
+  N
+  /END_INSTALL_BUILTIN/b done
+  b loop
+  : done
+  s/BEGIN_INSTALL_BUILTIN//
+  s/END_INSTALL_BUILTIN//
+  p
+}'