From 3c2827901d9b965b3e0716e5e7284fdcd6ce7760 Mon Sep 17 00:00:00 2001
From: rsc <devnull@localhost>
Date: Wed, 21 Apr 2004 21:01:52 +0000
Subject: Rename Bwait to E.

---
 bin/Bwait | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100755 bin/Bwait

(limited to 'bin/Bwait')

diff --git a/bin/Bwait b/bin/Bwait
deleted file mode 100755
index 00429609..00000000
--- a/bin/Bwait
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/bin/sh
-
-# run B but then wait for the file to change.
-# great to set as $EDITOR.
-# the notion of a file changing is a little weak.
-
-stat=`ls -l $1`
-B "$@"
-while true
-do
-	nstat=`ls -l $1`
-	if [ "x$stat" != "x$nstat" ]
-	then
-		exit
-	fi
-done
-
-- 
cgit v1.2.3