From 676a5333c031b75361dd989aaa30d459b6c1c5e8 Mon Sep 17 00:00:00 2001
From: Yorick Peterse <yorickpeterse@gmail.com>
Date: Thu, 1 May 2014 21:27:08 +0200
Subject: [PATCH] Use a default gnuplot script.

---
 profile/plot.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/profile/plot.sh b/profile/plot.sh
index 5aa706b..49b43c5 100755
--- a/profile/plot.sh
+++ b/profile/plot.sh
@@ -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"