diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-08-17 20:57:37 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-08-17 20:57:37 (EDT) |
| commit | e5d51c5a6474e1312e699f9d0c692248f5fe9ce1 (patch) | |
| tree | c4d28bc1c25ee22e5df47c660b34f87e3083d788 /lib/cmd | |
| parent | 74c117a73211dace5f69c706901acabf2df7dd56 (diff) | |
install: Set default plat if none given
Diffstat (limited to 'lib/cmd')
| -rw-r--r-- | lib/cmd/install.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/cmd/install.sh b/lib/cmd/install.sh index a296891..6cee601 100644 --- a/lib/cmd/install.sh +++ b/lib/cmd/install.sh @@ -58,6 +58,8 @@ cmd_install_main() fi if [ "x${cmd_install_opt_P+set}" = 'xset' ]; then plat="${cmd_install_opt_P}" + else + plat="$(profile_default_plat)" fi if ! profile_validate_archplat "${arch}" "${plat}"; then error 2 "$(get_msg 'cmd_install_bad_archplat')" \ |