chiark
/
gitweb
/
~ian
/
appendix-a6.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
31ff27e
)
allow numbered options
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sun, 2 Feb 2014 22:43:07 +0000
(22:43 +0000)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sun, 2 Feb 2014 22:43:07 +0000
(22:43 +0000)
compute
patch
|
blob
|
history
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-Z
0-9
]+)\s*\=\s*(\S.*)$/) {
my ($choname, $desc) = ($1,$2);
my $cho = addchoice($choname, Desc => $desc);
if ($desc =~ m/\[(\d+):(\d+)\]/) {