commit 8bead1099899437fd522244e9ba1c7a287a0cf7a parent 2c500adda28bdf7187de272a50fc1f37fe467160 Author: rsc <devnull@localhost> Date: Tue, 11 Jan 2005 17:59:46 +0000 handle \*9 Diffstat:
| M | dist/checkman.awk | | | 8 | ++++++-- |
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/dist/checkman.awk b/dist/checkman.awk @@ -285,11 +285,15 @@ $1 != ".RE" { } sh == "SOURCE" && $1 ~ /^\// { - Sources[$1] = 1 + s = $1 + sub("\\\*9", ENVIRON["PLAN9"], s) + Sources[s] = 1 } sh == "SOURCE" && $2 ~ /^\// { - Sources[$2] = 1 + s = $2 + sub("\\\*9", ENVIRON["PLAN9"], s) + Sources[s] = 1 } $0 ~ /^\.[A-Z].*\([1-9]\)/ {