sh(1): Add and use pregenerated headers.
authorzrj <rimvydas.jasinskas@gmail.com>
Tue, 6 Feb 2018 21:56:48 +0000 (23:56 +0200)
committerzrj <zrj@dragonflybsd.org>
Sun, 18 Feb 2018 15:13:05 +0000 (17:13 +0200)
commitcbb07feb2f78629297b21609f526fcec6e4ad8ee
treeb6dcf102baaecbb55456d441f3e77e012e3f16c0
parent9f05f13f0fc9e04c6ab7af6a94af3643b5e740fe
sh(1): Add and use pregenerated headers.

These only add 30k to the repo while ensuring that bin/sh would not be
affected by bad shell script invocation etc. As the bonus it solves the
issue in share/initrd too. Nothing in the generated headers should fail
for our use cases. If that would change, please report it.
12 files changed:
bin/sh/Makefile
bin/sh/mknodes/Makefile [new file with mode: 0644]
bin/sh/mksyntax/Makefile [new file with mode: 0644]
bin/sh/pregenerated/builtins.c [new file with mode: 0644]
bin/sh/pregenerated/builtins.h [new file with mode: 0644]
bin/sh/pregenerated/nodes.c [new file with mode: 0644]
bin/sh/pregenerated/nodes.h [new file with mode: 0644]
bin/sh/pregenerated/syntax.c [new file with mode: 0644]
bin/sh/pregenerated/syntax.h [new file with mode: 0644]
bin/sh/pregenerated/token.h [new file with mode: 0644]
share/initrd/bin/Makefile
share/mk/bsd.crunchgen.mk