diff options
author | Swift Geek <swiftgeek@gmail.com> | 2019-10-17 23:36:06 +0000 |
---|---|---|
committer | Gogs <gogitservice@gmail.com> | 2019-10-17 23:36:06 +0000 |
commit | 3c4cf4dd0cb9e2abfa4c15cd6a65c00594abe138 (patch) | |
tree | 320c6eb1a18286134eb6552abe8fbaef33b5da4b | |
parent | 444701d1ed3a8092fcf50861df12d9089e9241f0 (diff) | |
parent | 04876c531d99b6a06c69490efb9379e96c43e162 (diff) | |
download | librebootfr-3c4cf4dd0cb9e2abfa4c15cd6a65c00594abe138.tar.gz librebootfr-3c4cf4dd0cb9e2abfa4c15cd6a65c00594abe138.zip |
Merge branch 'bugs' of and_who/libreboot into master
-rwxr-xr-x | libs/project | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/libs/project b/libs/project index 2b6fc2fd..b9d33114 100755 --- a/libs/project +++ b/libs/project @@ -200,11 +200,15 @@ project_action_helper() { local project="$1" shift - if ! function_check "$helper"; then - return 0 - fi + ( + project_include "$project" - "$helper" "$@" + if ! function_check "$helper"; then + exit 0 + fi + + "$helper" "$@" + ) } project_action_arguments() { |