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 |