diff options
Diffstat (limited to 'rc/bin/E')
| -rwxr-xr-x | rc/bin/E | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/rc/bin/E b/rc/bin/E deleted file mode 100755 index e91d4f6a2..000000000 --- a/rc/bin/E +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/rc -# E file - B file, wait until it changes, exit -rfork e -if (! ~ $#* 1) { - echo usage: $0 file >[1=2] - exit usage -} -if (! test -e $1) { - echo $0: $1: no such file >[1=2] - exit no-file -} -otm = `{mtime $1 | awk '{print $1}'} -B $1 -while (~ $otm `{mtime $1 | awk '{print $1}'}) - sleep 1 -exit '' |
