From 8bead1099899437fd522244e9ba1c7a287a0cf7a Mon Sep 17 00:00:00 2001
From: rsc <devnull@localhost>
Date: Tue, 11 Jan 2005 17:59:46 +0000
Subject: handle \*9

---
 dist/checkman.awk | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'dist')

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]\)/ {
-- 
cgit v1.2.3