diff options
| -rwxr-xr-x | tests/runner.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/runner.py b/tests/runner.py index bfbbf69e..1664de07 100755 --- a/tests/runner.py +++ b/tests/runner.py @@ -4429,6 +4429,9 @@ def process(filename): for name in glob.glob(path_from_root('tests', 'cases', '*.ll')): shortname = name.replace('.ll', '') if '' not in shortname: continue + if '_ta2' in shortname and not Settings.USE_TYPED_ARRAYS == 2: + print self.skip('case only relevant for ta2') + continue print >> sys.stderr, "Testing case '%s'..." % shortname output_file = path_from_root('tests', 'cases', shortname + '.txt') if Settings.QUANTUM_SIZE == 1: |