diff options
-rwxr-xr-x | util/make_all.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/make_all.sh b/util/make_all.sh index 558b8fa3bc..33370eb260 100755 --- a/util/make_all.sh +++ b/util/make_all.sh @@ -14,4 +14,4 @@ for b in $boards; do done # Run unit tests -make BOARD=host runtests +make BOARD=host runtests $* |