| Index: scripts/master/factory/drmemory_factory.py
|
| diff --git a/scripts/master/factory/drmemory_factory.py b/scripts/master/factory/drmemory_factory.py
|
| index 52c4926c127565ee7d15873ff65ceb3007b90dd2..2f5d7ca985637b62ee95203b84f0364d8fa7ded6 100644
|
| --- a/scripts/master/factory/drmemory_factory.py
|
| +++ b/scripts/master/factory/drmemory_factory.py
|
| @@ -556,6 +556,8 @@ class CTest(Test):
|
| build_count += 1
|
| if 'build successful; no tests for this build' in line:
|
| continue # Successful build with no tests
|
| + if 'cross-compile configuration unavailable' in line:
|
| + continue # Build skipped
|
| if 'Error in read script' in line:
|
| continue # DR i#636: Spurious line from ctest
|
|
|
|
|