diff options
Diffstat (limited to 'util/run_ects.sh')
| -rwxr-xr-x | util/run_ects.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/run_ects.sh b/util/run_ects.sh index 9a74971235..5b0aca5d3e 100755 --- a/util/run_ects.sh +++ b/util/run_ects.sh @@ -13,7 +13,7 @@ RED='\033[0;31m' GRN='\033[0;32m' # List of tests to run. -TESTS=(meta gpio hook interrupt task timer) +TESTS=(meta gpio hook interrupt mutex task timer) usage() { cat <<END |