diff options
| author | Damien George | 2021-03-11 16:09:27 +1100 |
|---|---|---|
| committer | Damien George | 2021-03-12 19:56:09 +1100 |
| commit | 6129b8e401c36cc68e0f7ba8180da27a40d17621 (patch) | |
| tree | f9922a1f34db804d3700ca0570827c2a8762314e /tests/jni | |
| parent | b24fcd7aec4b34064e9d9016d417d4ca3cc925cc (diff) | |
tests: Rename run-tests to run-tests.py for consistency.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'tests/jni')
| -rw-r--r-- | tests/jni/README | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/jni/README b/tests/jni/README index 8418bb84f..f1e1b0eca 100644 --- a/tests/jni/README +++ b/tests/jni/README @@ -8,5 +8,5 @@ of JVM. For example, for OpenJDK 7 on x86_64, following may work: -LD_LIBRARY_PATH=/usr/lib/jvm/java-7-openjdk-amd64/jre/lib/amd64/server ./run-tests jni/*.py +LD_LIBRARY_PATH=/usr/lib/jvm/java-7-openjdk-amd64/jre/lib/amd64/server ./run-tests.py jni/*.py |