revert timeout change

It looks like "timeout" doens't work on some machines...

  +sh: /usr/bin/timeout: /lib/ld-linux.so.2: bad ELF interpreter: No such file or directory
Esse commit está contido em:
Paul Tarjan
2013-06-17 13:33:37 -07:00
commit de Sara Golemon
commit 129b122972
-2
Ver Arquivo
@@ -375,8 +375,6 @@ function run($options, $tests, $bad_test_file) {
function run_test($options, $test) {
$hhvm = hhvm_cmd($options, $test);
// timeout doesn't proxy the exit code, but we don't care
$hhvm = "/usr/bin/timeout 60 $hhvm";
$output = "";
if (isset($options['repo'])) {
if (strpos($test, '.hhas') !== false || strpos($hhvm, '-m debug') != false || is_file($test.'.norepo')) {