From 913ff471b4a46dc7e41d7c3e5db55165c02e2b2e Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sun, 21 Aug 2022 16:08:23 +0100 Subject: [PATCH 1/1] prefork-interp: ident, options Signed-off-by: Ian Jackson --- cprogs/prefork-interp.c | 20 ++++++++++++++++++-- cprogs/prefork.c | 21 +++++++++++++++------ cprogs/prefork.h | 5 +++-- 3 files changed, 36 insertions(+), 10 deletions(-) diff --git a/cprogs/prefork-interp.c b/cprogs/prefork-interp.c index 8fcb5dc..61dcca9 100644 --- a/cprogs/prefork-interp.c +++ b/cprogs/prefork-interp.c @@ -7,11 +7,27 @@ * prefork-interp [