diff --git a/test/core/run.py b/test/core/run.py index 3ba97d1b9..6500e6a6b 100755 --- a/test/core/run.py +++ b/test/core/run.py @@ -19,6 +19,7 @@ parser.add_argument("--wasm", metavar="", default=os.path.join(interpDir, "wasm")) parser.add_argument("--js", metavar="") parser.add_argument("--generate-js-only", action='store_true') +parser.add_argument("--failfast", action='store_true') parser.add_argument("--out", metavar="", default=outputDir) parser.add_argument("file", nargs='*') arguments = parser.parse_args() @@ -117,4 +118,4 @@ def _runTestFile(self, inputPath): for fileName in inputFiles: testName = 'test ' + os.path.basename(fileName) setattr(RunTests, testName, lambda self, file=fileName: self._runTestFile(file)) - unittest.main() + unittest.main(failfast=arguments.failfast)