diff options
-rwxr-xr-x | tests/runtests.pl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/runtests.pl b/tests/runtests.pl index 79d85e674..32169084d 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -1820,6 +1820,11 @@ sub singletest { last; } + my $dbghosttype=join(' ', runclientoutput("uname -a")); + if(($dbghosttype =~ /SMP PREEMPT/) && ($dbghosttype =~ /i686 GNU/)) { + $why = "debugging icc build"; + } + if(!$why) { my @keywords = getpart("info", "keywords"); my $match; |