aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjoern Brandenburg <bbb@mpi-sws.org>2016-02-17 13:18:26 -0500
committerBjoern Brandenburg <bbb@mpi-sws.org>2016-03-08 11:04:51 -0500
commit3bbd0fa79a366c32c526d749504c5fb960c11451 (patch)
tree9bebae1f5fa7c57e53c52a090d5521ef2e78ed0e
parentbc038aebddbb1fce1f9176565efae0cdf1f3f68c (diff)
st_trace: don't busy-wait
-rwxr-xr-xst_trace2
1 files changed, 1 insertions, 1 deletions
diff --git a/st_trace b/st_trace
index 9a5c66b..6ddb06c 100755
--- a/st_trace
+++ b/st_trace
@@ -101,5 +101,5 @@ then
101else 101else
102 # wait for SIGUSR1 to terminate 102 # wait for SIGUSR1 to terminate
103 echo "Waiting for SIGUSR1 to end tracing..." 103 echo "Waiting for SIGUSR1 to end tracing..."
104 while [ 1 ]; do sleep 10; done 104 wait $PIDS
105fi 105fi