From c6894da66c32f5eb80d37544dd3f667b82b70b7e Mon Sep 17 00:00:00 2001 From: Alexander Rosenberg Date: Thu, 15 Jan 2026 20:44:43 -0800 Subject: [PATCH] Fix awk script --- gen-signal-names.awk | 1 + 1 file changed, 1 insertion(+) diff --git a/gen-signal-names.awk b/gen-signal-names.awk index f2b3153..7e9142e 100644 --- a/gen-signal-names.awk +++ b/gen-signal-names.awk @@ -22,6 +22,7 @@ BEGIN { } } } + close(cmd) print "};" print "#define MIN_SIGNUM " min print "#define MAX_SIGNUM " max