diff options
| author | Cassio de Campos <cassiopc@gmail.com> | 2017-08-12 20:34:30 +0000 |
|---|---|---|
| committer | Cassio de Campos <cassiopc@gmail.com> | 2017-08-12 20:34:30 +0000 |
| commit | 0a6c3821493c046610dc3d2b17cd89d7d1c0de07 (patch) | |
| tree | 6ed2eb3980a628c10118a8225f5d29819626fe5b /tools | |
| parent | fa27ff37459edba3d72235969743aa84bbe7edcb (diff) | |
| download | boca-0a6c3821493c046610dc3d2b17cd89d7d1c0de07.tar.gz boca-0a6c3821493c046610dc3d2b17cd89d7d1c0de07.zip | |
verbose
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/control-machines.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/control-machines.sh b/tools/control-machines.sh index 34620a8..7f1ebe4 100644 --- a/tools/control-machines.sh +++ b/tools/control-machines.sh @@ -2,6 +2,7 @@ if [ "$1" == "users" ]; then for i in `ls runs-submitted*.txt`; do + [ "$2" == "verb" ] && echo "users checking $i" a="" cat $i | while read lin; do if [ "$a" == "" ]; then @@ -28,6 +29,7 @@ else done else for i in `ls runs-submitted*.txt`; do + [ "$2" == "verb" ] && echo "checking $i" cat $i|cut -d'-' -f1 |sort -u| while read lin; do q=`grep -c $lin runs-submitted*.txt | grep -v ":0$" | wc -l` if [ "$q" != "1" ]; then |