From 2e9380afc1b4277c32d6a4eb343267a62208694d Mon Sep 17 00:00:00 2001
From: an7s <an7s@git.zephyr-software.com>
Date: Tue, 22 Mar 2011 14:33:38 +0000
Subject: [PATCH] ...

---
 tools/generate_io_baseline.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tools/generate_io_baseline.sh b/tools/generate_io_baseline.sh
index 72c0299fb..36ed0291c 100755
--- a/tools/generate_io_baseline.sh
+++ b/tools/generate_io_baseline.sh
@@ -8,6 +8,7 @@
 TOP_DIR=$1
 BINARY=`basename $2`
 INPUT_DIR=$3
+
 BASELINE_OUTPUT_DIR=replay.baseline
 
 echo "=========================================================================="
@@ -15,6 +16,7 @@ echo "Running replayer to get baseline outputs on binary: $TOP_DIR/$BINARY"
 echo "                                   Input directory: $INPUT_DIR"
 echo "                                  Output directory: $BASELINE_OUTPUT_DIR"
 echo "=========================================================================="
+
 cd $TOP_DIR
 
 mkdir $BASELINE_OUTPUT_DIR
@@ -26,3 +28,4 @@ do
   $GRACE_HOME/concolic/bin/replayer --stdout=$BASELINE_OUTPUT_DIR/stdout.$input --stderr=$BASELINE_OUTPUT_DIR/stderr.$input --engine=ptrace ./$BINARY $i
 done
 
+cd -
-- 
GitLab