diff options
| author | 2022-11-02 10:21:35 +0000 | |
|---|---|---|
| committer | 2022-11-02 10:22:29 +0000 | |
| commit | b9642a67b12c9adbcc2a92129af3164468962037 (patch) | |
| tree | 09108f4f0998578253df554b83f643d43651dd25 /test/1914-get-local-instance | |
| parent | a669df3cb61b88c9dadd161962a9b4ecb7ce8a03 (diff) | |
Run-tests: Rename "run" files to "run.py"
Make it explicit that they are python files.
Make the file attributes non-executable.
Test: test.py -b -r --host --optimizing --64
Change-Id: I874c8453032298bcc15dbd1030a3f7c0fd58254f
Diffstat (limited to 'test/1914-get-local-instance')
| -rw-r--r--[-rwxr-xr-x] | test/1914-get-local-instance/run.py (renamed from test/1914-get-local-instance/run) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/test/1914-get-local-instance/run b/test/1914-get-local-instance/run.py index ce3a55a474..ce3a55a474 100755..100644 --- a/test/1914-get-local-instance/run +++ b/test/1914-get-local-instance/run.py |