Fix awk script

2026-01-15 20:44:43 -08:00
parent d70c66b24a
commit c6894da66c
1 changed files with 1 additions and 0 deletions
--- 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