diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-02-17 13:14:06 -0500 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-03-08 11:04:31 -0500 |
| commit | 10537e151ab69299f0ba3c504fda0037ad663194 (patch) | |
| tree | ab5cc5687b4a188b50d37110961c6eda6cb53b94 | |
| parent | 4d6773e9c1d86b198806652cfc46313df64d5767 (diff) | |
ft-trace-overheads: don't busy-wait
| -rwxr-xr-x | ft-trace-overheads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ft-trace-overheads b/ft-trace-overheads index 0651352..4263fa3 100755 --- a/ft-trace-overheads +++ b/ft-trace-overheads | |||
| @@ -135,5 +135,5 @@ then | |||
| 135 | else | 135 | else |
| 136 | # wait for SIGUSR1 to terminate | 136 | # wait for SIGUSR1 to terminate |
| 137 | echo "Waiting for SIGUSR1 to end tracing..." | 137 | echo "Waiting for SIGUSR1 to end tracing..." |
| 138 | while [ 1 ]; do sleep 10; done | 138 | wait $PIDS |
| 139 | fi | 139 | fi |