gen-options.awk: Don't pass ERE to split().

Strange behaviour is observed on ULTRIX 4.5 nawk when passing a
literal ERE as the fs argument to the split function.  There is
no problem passing an equivalent string instead.

diff --git a/scripts/gen-options.awk b/scripts/gen-options.awk
index 98b7c17119988438797bddfc3ae5963357abf174..450f85c3713f5aeeea09d93f89aa7acedb10ace7 100755 (executable)
--- a/scripts/gen-options.awk
+++ b/scripts/gen-options.awk
@@ -181,7 +181,7 @@ $0 ~ /^-/ {
     # packed form is not possible w/ actions
     has_actions = 1;
 
-    n = split(work, a, /,[ \t]*/)
+    n = split(work, a, ",[ \t]*")
     if (n == 2) {
       flag = substr(a[1], 2) ", " substr(a[2], 1, length(a[2])-1)
     } else if (n == 1) {