Use a default gnuplot script.

This commit is contained in:
Yorick Peterse 2014-05-01 21:27:08 +02:00
parent 3344f373bd
commit 676a5333c0
1 changed files with 5 additions and 0 deletions

View File

@ -9,6 +9,11 @@ then
exit 1
fi
if [[ -z "$plot_script" ]]
then
plot_script="profile/gnuplot/memory_time.gpi"
fi
if [[ ! -f "$plot_script" ]]
then
echo "The gnuplot script ${plot_script} does not exist"