YourWishes/jerryscript
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge branch 'master' of git-server:jerry

Browse Source
This commit is contained in:
Ilmir Usmanov
2014-07-31 21:52:33 +04:00
parent 1d41e8a355 7a076c3624
commit 420d3bf8f5
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tools/rss_measure.sh
-1
View File
@@ -22,7 +22,6 @@ OUTPUT=
$JERRY $TEST & $JERRY $TEST &
PID=$! PID=$!
echo $PID;
while true; while true;
do do