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