 Daniel Pouzzner
|
abfc788389
script cleanup: use #!/bin/bash on all scripts that use "echo -e" (/bin/sh is sometimes a non-Bourne/non-POSIX shell, e.g. dash/ash, with no support for "echo -e"); fix whitespace.
|
%!s(int64=2) %!d(string=hai) anos |
 David Garske
|
533f4a5c77
Speedups for the `git clone` calls in check scripts to use `--depth 1`.
|
%!s(int64=6) %!d(string=hai) anos |
|
David Garske
|
cb2f1d6d7d
Added new `async-check.sh` script for setting up the async simulator for internal testing.
|
%!s(int64=6) %!d(string=hai) anos |
