Autor | SHA1 Zpráva | Datum |
---|---|---|
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. | před 2 roky |
David Garske | 533f4a5c77 Speedups for the `git clone` calls in check scripts to use `--depth 1`. | před 6 roky |
David Garske | cb2f1d6d7d Added new `async-check.sh` script for setting up the async simulator for internal testing. | před 6 roky |