diff options
Diffstat (limited to 'tests/runtests.pl')
-rwxr-xr-x | tests/runtests.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/runtests.pl b/tests/runtests.pl index 18c65c9f4..381692a54 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -1827,6 +1827,7 @@ sub singletest { if(($testnum != 1) && ($testnum != 100) && ($testnum != 500) && ($testnum != 507) && ($testnum != 517) && ($testnum != 534) && + ($testnum != 558) && ($testnum != 557) && ($testnum != 1013)) { $why = "debugging icc build"; } |