diff --git a/tests/runtests.pl b/tests/runtests.pl index 77787dc3f0..4cd390b5d5 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -2108,7 +2108,7 @@ sub singletest { $cmdres = 1000; } else { - $cmdres /= 256; + $cmdres >>= 8; } } if(!$dumped_core) {