chiark / gitweb /
allow numbered options
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 2 Feb 2014 22:43:07 +0000 (22:43 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 2 Feb 2014 22:43:07 +0000 (22:43 +0000)
compute

diff --git a/compute b/compute
index 61c0350e72e726a84b6c9b8170372148ec528430..9e5e8ba0d78437704e5a656c10530889aaef80e6 100755 (executable)
--- a/compute
+++ b/compute
@@ -39,7 +39,7 @@ while (<>) {
     next if m/^\s*\#/;
     next unless m/\S/;
     next if m/^\s/;
-    if (m/^([A-Z]+)\s*\=\s*(\S.*)$/) {
+    if (m/^([A-Z0-9]+)\s*\=\s*(\S.*)$/) {
        my ($choname, $desc) = ($1,$2);
        my $cho = addchoice($choname, Desc => $desc);
        if ($desc =~ m/\[(\d+):(\d+)\]/) {