From 6ccfe134d4bff05f457fc97d03f9f3692ab99adb Mon Sep 17 00:00:00 2001 From: Bjoern Brandenburg Date: Sun, 11 Jan 2009 20:20:33 -0500 Subject: remove some of the unneeded parts --- plot_dist | 30 ------------------------------ 1 file changed, 30 deletions(-) delete mode 100755 plot_dist (limited to 'plot_dist') diff --git a/plot_dist b/plot_dist deleted file mode 100755 index 18cb48c..0000000 --- a/plot_dist +++ /dev/null @@ -1,30 +0,0 @@ -#!/bin/bash - -CSV1=$1 -CSV2=$2 -OUT=$3 -TITLE=$4 - -if [ ! -f "$CSV1" ] || [ ! -f "$CSV2" ] || - [ "" == "$OUT" ] ; then - echo "Usage: plot_dist " - exit 1 -fi - -gnuplot <<EOM -set terminal png picsize 1024 768 -set out '/dev/null' -plot '$CSV1' title 'distribution' with lines -replot '$CSV2' title 'distribution (cumulative)' axes x1y2 with lines -set ylabel 'probability' -set y2label 'probability (cumulative)' -set xlabel 'overhead (in us)' -set y2tics -set y2range [0.0:1.0] -set title '$TITLE' -set key top left -set out '$OUT' -replot -set out -EOM - -- cgit v1.2.2