run script: correction, clarity
commit0245723d5f304f6bfe8ee9cfa94ad216dea78c8b
authorBen Gras <ben@minix3.org>
Fri, 19 Apr 2013 10:24:50 +0000 (19 10:24 +0000)
committerBen Gras <ben@minix3.org>
Fri, 19 Apr 2013 10:24:50 +0000 (19 10:24 +0000)
treee42ec7c2d7cdaa61910d943fcb9affdd0cd669fc
parent2a44efb1c069a9d4db49aeb3721e6aabf9a2423d
run script: correction, clarity

Change-Id: Ibf583c6277c67646dd90d7c49482daf4e76b78b6
test/run