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