diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-04-06 17:15:45 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-04-06 17:18:51 -0400 |
| commit | e4f64bb8f90c51eb1ff76457364b032ee8e29901 (patch) | |
| tree | b58c2dba6febcb73fac5ebcd60ff673b3ddf6fef | |
| parent | 7e3b5e89110237698a43c447ab42340fc482b31d (diff) | |
tracer scripts: silence error message in case PID directory is empty
If the directory has not yet been populated by any of the tracers, the
user doesn't need to know about it.
| -rwxr-xr-x | ft-trace-overheads | 4 | ||||
| -rwxr-xr-x | st-trace-schedule | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/ft-trace-overheads b/ft-trace-overheads index c1f597d..79453a5 100755 --- a/ft-trace-overheads +++ b/ft-trace-overheads | |||
| @@ -116,11 +116,11 @@ do | |||
| 116 | COUNT=$((COUNT + 1)) | 116 | COUNT=$((COUNT + 1)) |
| 117 | done | 117 | done |
| 118 | 118 | ||
| 119 | READY=`ls $DIR/*.pid | wc -l` | 119 | READY=`ls $DIR/*.pid 2>/dev/null | wc -l` |
| 120 | while [[ $READY != $COUNT ]] | 120 | while [[ $READY != $COUNT ]] |
| 121 | do | 121 | do |
| 122 | sleep 0.5 | 122 | sleep 0.5 |
| 123 | READY=`ls $DIR/*.pid | wc -l` | 123 | READY=`ls $DIR/*.pid 2>/dev/null | wc -l` |
| 124 | done | 124 | done |
| 125 | 125 | ||
| 126 | rm $DIR/*.pid | 126 | rm $DIR/*.pid |
diff --git a/st-trace-schedule b/st-trace-schedule index 3bcd511..52f9400 100755 --- a/st-trace-schedule +++ b/st-trace-schedule | |||
| @@ -92,11 +92,11 @@ do | |||
| 92 | COUNT=$((COUNT + 1)) | 92 | COUNT=$((COUNT + 1)) |
| 93 | done | 93 | done |
| 94 | 94 | ||
| 95 | READY=`ls $DIR/*.pid | wc -l` | 95 | READY=`ls $DIR/*.pid 2>/dev/null | wc -l` |
| 96 | while [[ $READY != $COUNT ]] | 96 | while [[ $READY != $COUNT ]] |
| 97 | do | 97 | do |
| 98 | sleep 0.5 | 98 | sleep 0.5 |
| 99 | READY=`ls $DIR/*.pid | wc -l` | 99 | READY=`ls $DIR/*.pid 2>/dev/null | wc -l` |
| 100 | done | 100 | done |
| 101 | 101 | ||
| 102 | rm $DIR/*.pid | 102 | rm $DIR/*.pid |
