diff options
| author | P. J. McDermott <pj@pehjota.net> | 2016-01-17 10:38:16 (EST) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2016-01-17 10:38:16 (EST) |
| commit | d7436d9dfcd4007dad081124cde04ac8e1d30906 (patch) | |
| tree | 052d4e9937b451ad76d9a8c5ae2de924a53b4104 /src/cmd/install.sh | |
| parent | a8e57bde8d2d9ba23a8c5fc7ddc6438c0142d33f (diff) | |
cmd/*: Check return value of profile_set()
Diffstat (limited to 'src/cmd/install.sh')
| -rw-r--r-- | src/cmd/install.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/cmd/install.sh b/src/cmd/install.sh index 097250a..c96f014 100644 --- a/src/cmd/install.sh +++ b/src/cmd/install.sh @@ -50,7 +50,9 @@ cmd_install_main() else profile='proteanos' fi - profile_set "${profile}" + if ! profile_set "${profile}"; then + return 2 + fi suite="$(profile_normalize_suite "${suite}")" if [ "x${cmd_install_opt_F+set}" = 'xset' ]; then |