diff options
Diffstat (limited to 'tools/test-all')
| -rwxr-xr-x | tools/test-all | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/tools/test-all b/tools/test-all deleted file mode 100755 index 0ad3ca3..0000000 --- a/tools/test-all +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash -e - -## tools/test-all -## -## Run the full test suite. - -cd "$(dirname "$0")/.." - -tools/test-ui -tools/test-server |