Revert to safer POSIX AWK regexp.

AWK from Ubuntu 8.04 (mawk) doesn't support [[:space:]]; so for backwards compatibility use a plain ASCII space instead.
2011-11-03 18:37:36 +01:00
parent ad1ca6c2c9
commit 3b960a2e3c
1 changed files with 1 additions and 1 deletions
--- a/todo.sh
+++ b/todo.sh
@@ -826,7 +826,7 @@ _format()
            {
                if (match($0, /^[0-9]+ x /)) {
                    print highlight("COLOR_DONE") $0 highlight("DEFAULT")
-                } else if (match($0, /^[0-9]+ \([A-Z]\)[[:space:]]/)) {
+                } else if (match($0, /^[0-9]+ \([A-Z]\) /)) {
                    clr = highlight("PRI_" substr($0, RSTART + RLENGTH - 3, 1))
                    print \
                        (clr ? clr : highlight("PRI_X")) \