| Index: tools/plot-timer-events
|
| diff --git a/tools/plot-timer-events b/tools/plot-timer-events
|
| index 0723150be5730b4414ad7843ae0b56002dacc16c..8db067d5f12c800df35dc5c4e6cffbf3743150d0 100755
|
| --- a/tools/plot-timer-events
|
| +++ b/tools/plot-timer-events
|
| @@ -67,4 +67,13 @@ cat $log_file |
|
| $tools_path/codemap.js $tools_path/profile.js $tools_path/profile_view.js \
|
| $tools_path/logreader.js $tools_path/tickprocessor.js \
|
| $tools_path/profviz/composer.js $tools_path/profviz/stdio.js \
|
| - -- $@ $options 2>/dev/null | gnuplot > timer-events.png
|
| + -- $@ $options 2>/dev/null > timer-events.plot
|
| +
|
| +success=$?
|
| +if [[ $success != 0 ]] ; then
|
| + cat timer-events.plot
|
| +else
|
| + cat timer-events.plot | gnuplot > timer-events.png
|
| +fi
|
| +
|
| +rm -f timer-events.plot
|
|
|