Index: pydir/crosstest_generator.py |
diff --git a/pydir/crosstest_generator.py b/pydir/crosstest_generator.py |
index 236c2d00834a298bd94ac24c4fa5b733b48dcb16..c634586131e4ac4e72b11a4eeaa41fb551fc7236 100755 |
--- a/pydir/crosstest_generator.py |
+++ b/pydir/crosstest_generator.py |
@@ -205,6 +205,8 @@ def main(): |
f.write(run_cmd + '\n') |
f.write('echo Recreate a failure using ' + __file__ + |
' --toolchain-root=' + args.toolchain_root + |
+ (' --filetype=' + args.filetype |
+ if args.filetype else '') + |
' --include=' + ','.join(desc) + '\n') |
f.write('# CHECK: Failures=0\n') |
else: |