B that knows about address syntax,

change plumber to use it.

1 files changed, 6 insertions, 0 deletions

diff --git a/bin/B b/bin/B
index 74bdb48b..a8351675 100755
--- a/bin/B
+++ b/bin/B
@@ -22,6 +22,12 @@ else
 	do
 		pwd=`pwd`
 		file=`cleanname -d $pwd $i`
+		line=`echo $file | sed 's/.*://'`
+		file=`echo $file | sed 's/:.*//'`
 		echo "B $file" >>$sam
+		if [ "x$line" != "x" -a "x$line" != "x$file" ]
+		then
+			echo "$line" >> $sam
+		fi
 	done
 fi