diff src/mkbuiltins @ 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 d423dcc0ac32
line wrap: on
line diff
new file mode 100755
--- /dev/null
+++ b/src/mkbuiltins
@@ -0,0 +1,34 @@
+#!/bin/sh
+
+cat << \EOF
+// DO NOT EDIT!  Generated automatically by mkbuiltins.
+
+#ifdef HAVE_CONFIG_H
+#include "config.h"
+#endif
+
+#include "builtins.h"
+#include "mappers.h"
+#include "oct-obj.h"
+#include "variables.h"
+
+static void
+install_builtin_functions (void)
+{
+EOF
+
+cat "$@"
+
+cat << \EOF
+}
+
+void
+install_builtins (void)
+{
+  install_builtin_variables ();
+  install_mapper_functions ();
+  install_builtin_functions ();
+}
+EOF
+
+exit 0