diff options
| author | Jack Lloyd <[email protected]> | 2018-03-04 06:37:13 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-03-04 06:37:13 -0500 |
| commit | c563f15c6fe7327c27a8f988e66dcf20ff23a523 (patch) | |
| tree | 5e0f37e7caf70b9366aee9f91d18f44b3b9a43b1 | |
| parent | 9b2f336feba2aa0462a16625ab3cae34ce395f4a (diff) | |
Rename build_tests.py to make it more obvious this is not for end users
GH #1456
| -rwxr-xr-x | src/scripts/test_all_configs.py (renamed from src/scripts/build_tests.py) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/scripts/build_tests.py b/src/scripts/test_all_configs.py index f90d7722e..f90d7722e 100755 --- a/src/scripts/build_tests.py +++ b/src/scripts/test_all_configs.py |