diff options
| -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 c0c972a..57ef2b4 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 |