3 Commits (ba197376276e2a30a60f9ff79b7c07398b16d49b)

Author	SHA1	Message	Date
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.	2022-03-09 12:28:22 -06:00
David Garske	533f4a5c77	Speedups for the `git clone` calls in check scripts to use `--depth 1`. ... ``` BEFORE CHANGE: time ./fips-check.sh windows keep Receiving objects: 100% (18408/18408), 12.61 MiB | 625.00 KiB/s, done. Receiving objects: 100% (7045/7045), 110.48 MiB | 488.00 KiB/s, done. real 5m4.604s user 1m38.039s sys 0m25.984s AFTER CHANGE: time ./fips-check.sh windows keep Receiving objects: 100% (642/642), 1.02 MiB | 1.26 MiB/s, done. Receiving objects: 100% (767/767), 24.15 MiB | 487.00 KiB/s, done. real 1m43.194s user 1m34.100s sys 0m24.046s ```	2018-11-09 09:36:41 -08:00
David Garske	cb2f1d6d7d	Added new `async-check.sh` script for setting up the async simulator for internal testing.	2018-05-11 16:38:24 +02:00