Learning time

diff --git a/src/Scripts/learnresultgen.sh b/src/Scripts/learnresultgen.sh
index 329b571443275e96f332573a7d811234395225f9..2bc25191a6c8c1388c1e8d16de2985e3a86138df 100755 (executable)
--- a/src/Scripts/learnresultgen.sh
+++ b/src/Scripts/learnresultgen.sh
@@ -17,7 +17,13 @@ BIN=$SATUNEDIR/bin
 source $SATUNEDIR/Benchmarks/common.sh
 $SATUNEDIR/Scripts/setup.sh
 cd $BENCHDIR
-./learn.sh $2 $3
+
+START=$(date +%s.%N)
+time ./learn.sh $2 $3
+END=$(date +%s.%N)
+DIFF=$(echo "$END - $START" | bc)
+echo "SATUNE Learning Time $1-$2: $DIFF"
+
 cd $BIN
 ./run.sh analyzemultituner
 cd $SATUNEDIR