commit 8bead1099899437fd522244e9ba1c7a287a0cf7a
from: rsc <devnull@localhost>
date: Tue Jan 11 17:59:46 2005 UTC

handle \*9

commit - 2c500adda28bdf7187de272a50fc1f37fe467160
commit + 8bead1099899437fd522244e9ba1c7a287a0cf7a
blob - 4d682cab050db5d3f6bcc50231fd821d1e5810d0
blob + a9c7436f5609f72cbd3e1c486276d150824bc56f
--- dist/checkman.awk
+++ 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]\)/ {