diff options
Diffstat (limited to 'tests/scripts/run_tests.sh')
| -rwxr-xr-x | tests/scripts/run_tests.sh | 4 | 
1 files changed, 1 insertions, 3 deletions
| diff --git a/tests/scripts/run_tests.sh b/tests/scripts/run_tests.sh index 077d7a8..cd67bfb 100755 --- a/tests/scripts/run_tests.sh +++ b/tests/scripts/run_tests.sh @@ -144,11 +144,9 @@ wait_for_some_seconds() {  	echo -n "waiting for $SECONDS seconds." -	COUNT=0 -	while test $COUNT -lt $SECONDS ; do +	for COUNT in $(seq 1 $SECONDS) ; do  		sleep 1  		echo -n "." -		COUNT=$(($COUNT + 1))  	done  	echo " done"  } | 
