diff options
author | rsc <devnull@localhost> | 2005-01-11 17:59:46 +0000 |
---|---|---|
committer | rsc <devnull@localhost> | 2005-01-11 17:59:46 +0000 |
commit | 8bead1099899437fd522244e9ba1c7a287a0cf7a (patch) | |
tree | 83a747445bc5bc46b5999d48e054440385c6ea14 /dist | |
parent | 2c500adda28bdf7187de272a50fc1f37fe467160 (diff) | |
download | plan9port-8bead1099899437fd522244e9ba1c7a287a0cf7a.tar.gz plan9port-8bead1099899437fd522244e9ba1c7a287a0cf7a.tar.bz2 plan9port-8bead1099899437fd522244e9ba1c7a287a0cf7a.zip |
handle \*9
Diffstat (limited to 'dist')
-rw-r--r-- | dist/checkman.awk | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/dist/checkman.awk b/dist/checkman.awk index 4d682cab..a9c7436f 100644 --- 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]\)/ { |