diff options
Diffstat (limited to '')
| -rw-r--r-- | devscripts/run_tests.bat | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/devscripts/run_tests.bat b/devscripts/run_tests.bat new file mode 100644 index 0000000..57b1f4b --- /dev/null +++ b/devscripts/run_tests.bat @@ -0,0 +1,4 @@ +@echo off + +>&2 echo run_tests.bat is deprecated. Please use `devscripts/run_tests.py` instead +python %~dp0run_tests.py %~1 |