diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2021-04-13 17:32:05 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2021-04-13 17:32:05 +0300 |
| commit | 795dd9e87e44d1c49f160cd003cdde4113ee8247 (patch) | |
| tree | 8235133e9007abdb53ed7380f201058c24269031 /tools/ctest-driver | |
| parent | README: fix badge links (diff) | |
| download | cmake-common-795dd9e87e44d1c49f160cd003cdde4113ee8247.tar.gz cmake-common-795dd9e87e44d1c49f160cd003cdde4113ee8247.zip | |
tools: drop the .py extension
Diffstat (limited to '')
| -rwxr-xr-x | tools/ctest-driver (renamed from tools/ctest-driver.py) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/ctest-driver.py b/tools/ctest-driver index 414e20c..414e20c 100755 --- a/tools/ctest-driver.py +++ b/tools/ctest-driver |