diff options
| author | P. J. McDermott <pj@pehjota.net> | 2016-01-17 10:39:08 (EST) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2016-01-17 10:39:08 (EST) |
| commit | f8cea8a63d50c972601a43abb1d8b79cf1348271 (patch) | |
| tree | 1dc0ba536d5a8b55c7d42d5c988fa6329c195781 | |
| parent | d7436d9dfcd4007dad081124cde04ac8e1d30906 (diff) | |
profile_*(): Use non-exiting error()
| -rw-r--r-- | src/profile.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/profile.sh b/src/profile.sh index 44e3022..d5ffe1e 100644 --- a/src/profile.sh +++ b/src/profile.sh @@ -44,7 +44,8 @@ profile_set() if is_profile "${prof}"; then profile="${prof}" else - error 1 "$(get_msg 'profile_not_found')" "${prof}" + error "$(get_msg 'profile_not_found')" "${prof}" + return 1 fi return 0 @@ -61,7 +62,8 @@ profile_detect() fi done - error 1 "$(get_msg 'profile_not_detected')" "${root}" + error "$(get_msg 'profile_not_detected')" "${root}" + return 1 } profile_normalize_suite() |