From 7a076c362486a0fa46c2a6a9cdf670ee4730191a Mon Sep 17 00:00:00 2001 From: "e.gavrin" Date: Thu, 31 Jul 2014 21:26:27 +0400 Subject: [PATCH] Remove PID printing --- tools/rss_measure.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/tools/rss_measure.sh b/tools/rss_measure.sh index 12028ff10..2fff3f6ab 100755 --- a/tools/rss_measure.sh +++ b/tools/rss_measure.sh @@ -22,7 +22,6 @@ OUTPUT= $JERRY $TEST & PID=$! -echo $PID; while true; do