accept board name as a parameter (#572)

pull/574/head
Paul Philippov 2022-11-20 06:56:23 -05:00 committed by GitHub
parent da842b446d
commit a30bc5fac0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 1 deletions

View File

@ -248,7 +248,12 @@ uni_build() {
check_or_set_lock check_or_set_lock
build_list_of_projects build_list_of_projects
select_project
if [ -n "$1" ]; then
BOARD=$1
else
select_project
fi
[ -z "$BOARD" ] && echo_c 31 "Nothing selected." && drop_lock_and_exit [ -z "$BOARD" ] && echo_c 31 "Nothing selected." && drop_lock_and_exit