[issue1000] Merge branch 'main' into issue1000.

aibasel · Feb 19, 2021 · 70f4d37 · 70f4d37
2 parents db5b4c2 + bb7323e
commit 70f4d37
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/misc/tests/test-translator.py b/misc/tests/test-translator.py
@@ -49,7 +49,7 @@ def get_task_name(path):
 def translate_task(task_file):
     print(f"Translate {get_task_name(task_file)}", flush=True)
     sys.stdout.flush()
-    cmd = [sys.executable, str(DRIVER), "--translate", task_file]
+    cmd = [sys.executable, str(DRIVER), "--translate", str(task_file)]
     try:
         output = subprocess.check_output(cmd, encoding=sys.getfilesystemencoding())
     except OSError as err: