| Index: tools/plot-timer-events
|
| diff --git a/tools/plot-timer-events b/tools/plot-timer-events
|
| index 15f28ac22b5b849314ff745b305be51a75b9a194..da2e823c14df613f30034ca693ed82b2963268d0 100755
|
| --- a/tools/plot-timer-events
|
| +++ b/tools/plot-timer-events
|
| @@ -70,10 +70,9 @@ if test "$contains" -eq 0; then
|
| rm $calibration_log
|
|
|
| # Overhead in picoseconds.
|
| - options=--distortion=
|
| - options+=`echo "1000*(($t_1_end - $t_1_start) - ($t_2_end - $t_2_start)) \
|
| + distortion=`echo "1000*(($t_1_end - $t_1_start) - ($t_2_end - $t_2_start)) \
|
| / ($n_1 - $n_2)" | bc`
|
| - echo $options
|
| + options="--distortion=$distortion"
|
| fi
|
|
|
| cat $log_file |
|
|
|