diff options
Diffstat (limited to 'build_repo.sh')
| -rwxr-xr-x | build_repo.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build_repo.sh b/build_repo.sh index 52e3bab..c4bcf42 100755 --- a/build_repo.sh +++ b/build_repo.sh @@ -106,11 +106,11 @@ fi if [ "$BOARD" = "omnia" ] || [ "$BOARD" = "all" ]; then echo -e "\e[1;34mBuilding omnia\e[0m" - (cd .omnia-sdk; make $@) + (cd .omnia-sdk; make "$@") fi if [ "$BOARD" = "turris" ] || [ "$BOARD" = "all" ]; then echo -e "\e[1;34mBuilding turris\e[0m" - (cd .turris-sdk; make $@) + (cd .turris-sdk; make "$@") fi |