chiark / gitweb /
prefork-interp: ident, options
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 21 Aug 2022 15:08:23 +0000 (16:08 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 21 Aug 2022 20:21:10 +0000 (21:21 +0100)
commit913ff471b4a46dc7e41d7c3e5db55165c02e2b2e
treed60af5b06129193543fa9567aae1c3864ecf26d3
parent7581f9cdbacd891daeb3c8e04ba54487ae762069
prefork-interp: ident, options

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
cprogs/prefork-interp.c
cprogs/prefork.c
cprogs/prefork.h