From f3ac2944256be6eee3ed2f217965417e942338d7 Mon Sep 17 00:00:00 2001 From: Ng Zhi An Date: Wed, 26 Aug 2020 10:07:21 -0700 Subject: [PATCH] Rename mvp_test_files to main_test_files --- test/core/run.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/test/core/run.py b/test/core/run.py index 6266154c5..17ca9d0bc 100755 --- a/test/core/run.py +++ b/test/core/run.py @@ -22,14 +22,14 @@ arguments = parser.parse_args() sys.argv = sys.argv[:1] -mvp_test_files = glob.glob(os.path.join(inputDir, "*.wast")) +main_test_files = glob.glob(os.path.join(inputDir, "*.wast")) # SIMD test files are in a subdirectory. simd_test_files = glob.glob(os.path.join(inputDir, "simd", "*.wast")) wasmCommand = arguments.wasm jsCommand = arguments.js outputDir = arguments.out -inputFiles = arguments.file if arguments.file else mvp_test_files + simd_test_files +inputFiles = arguments.file if arguments.file else main_test_files + simd_test_files if not os.path.exists(wasmCommand): sys.stderr.write("""\