diff options
| author | Scott Gasch <[email protected]> | 2022-06-02 17:36:52 -0700 |
|---|---|---|
| committer | Scott Gasch <[email protected]> | 2022-06-02 17:36:52 -0700 |
| commit | aacfe10026ba44cf1ef77458ff6f4f2c042b12fc (patch) | |
| tree | 0d7d814c66e112138bd8872041115616ab3bbe2f | |
| parent | cdced3d08fad56ae3f4311d7f21d70e393942a0b (diff) | |
Rename old run_tests.sh script; it's not used in hooks anymore.
| -rwxr-xr-x | tests/run_tests_serially.sh (renamed from tests/run_tests.sh) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tests/run_tests.sh b/tests/run_tests_serially.sh index 94f0b6b..94f0b6b 100755 --- a/tests/run_tests.sh +++ b/tests/run_tests_serially.sh |