Modify TC time output format.

Change-Id: I358880f0921f7bbdbcc568939d9e9c3601cf437a

diff --git a/TC/execute.sh b/TC/execute.sh
index d49f24d3f8db769bcb2046c113379133c5fd2be8..349d2b4f6f31c0f2d11945a1a51caa1fca6dd7b5 100755 (executable)
--- a/TC/execute.sh
+++ b/TC/execute.sh
@@ -376,7 +376,7 @@ while read line_libs; do
 
                                        tc_endtime=$(date +%s%N)
                                        spend_time=`echo "$tc_endtime $tc_starttime" | awk '{printf "%.5f\n", (($1-$2)/1000000)/1000}'`
-                                       echo "TC : "$tc_bin" : "$spend_time >> $before_path"/$TIMING_RESULT"
+                                       echo "TC : "$line_libs" : "$path_line_to_tslist" : "$tc_bin" : "$spend_time >> $before_path"/$TIMING_RESULT"
                                        tc_starttime=$(date +%s%N)
                                        tlist_spend_time=`echo "$tlist_spend_time $spend_time" | awk '{printf "%.5f\n", $1 + $2}'`
                                done