1#!/bin/sh
2
3INPUT="$1"
4
5cat <<__EOF__
6/* WARNING: automatically generated file. Generated from builtins/builtins.c */
7
8static const char builtins[] =
9__EOF__
10
11cat "$INPUT" | sed -e "s/^/\\\"/g" -e "s/$/\\\n\\\"/g"
12
13cat << __EOF__
14;
15__EOF__
16