aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSwift Geek <swiftgeek@gmail.com>2019-10-17 23:36:06 +0000
committerGogs <gogitservice@gmail.com>2019-10-17 23:36:06 +0000
commit3c4cf4dd0cb9e2abfa4c15cd6a65c00594abe138 (patch)
tree320c6eb1a18286134eb6552abe8fbaef33b5da4b
parent444701d1ed3a8092fcf50861df12d9089e9241f0 (diff)
parent04876c531d99b6a06c69490efb9379e96c43e162 (diff)
downloadlibrebootfr-3c4cf4dd0cb9e2abfa4c15cd6a65c00594abe138.tar.gz
librebootfr-3c4cf4dd0cb9e2abfa4c15cd6a65c00594abe138.zip
Merge branch 'bugs' of and_who/libreboot into master
-rwxr-xr-xlibs/project12
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() {