Don't use bashism in checktools.sh `if [[` doesn't work because this is a `/bin/sh` script. We were never running the success side of this `if` at all. |
||
|---|---|---|
| .. | ||
| docker | ||
| github-actions | ||
| scripts | ||
| channel | ||
| cpu-usage-over-time.py | ||
| publish_toolstate.sh | ||
| run.sh | ||
| shared.sh | ||