diff options
Diffstat (limited to 'script')
| -rwxr-xr-x | script/roms | 2 | ||||
| -rwxr-xr-x | script/trees | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/script/roms b/script/roms index 7e5e1be6..ee48bc42 100755 --- a/script/roms +++ b/script/roms @@ -69,7 +69,7 @@ main() handle_serprog() { - [ -z "${1+x}" ] && $err "bad command. Check $projectname docs." + [ -z "${1+x}" ] && badcmd [ "$1" != "rp2040" ] && [ "$1" != "stm32" ] && $err "bad command" if [ "$1" = "rp2040" ]; then serprog_boards_dir="$picosdk/src/boards/include/boards" diff --git a/script/trees b/script/trees index 1075b220..e22467f7 100755 --- a/script/trees +++ b/script/trees @@ -27,7 +27,7 @@ main() -s) mode="savedefconfig" ;; -l) mode="olddefconfig" ;; -n) mode="nconfig" ;; - *) $err "Invalid option" ;; + *) badcmd "invalid option '-$option'" ;; esac shift; project="${OPTARG#src/}"; shift done |