(src_dir, want_ext)
| 34 | |
| 35 | |
| 36 | def GetFilesWithExtension(src_dir, want_ext): |
| 37 | result = set() |
| 38 | if os.path.exists(src_dir): |
| 39 | for filename in os.listdir(src_dir): |
| 40 | name, ext = os.path.splitext(filename) |
| 41 | if ext == want_ext: |
| 42 | result.add(name) |
| 43 | return result |
| 44 | |
| 45 | |
| 46 | def ProcessDir(wabt_test_dir, testsuite_dir, tool, flags=None): |