diff options
| author | Swift Geek <swiftgeek@gmail.com> | 2019-07-21 20:25:08 +0000 |
|---|---|---|
| committer | Gogs <gogitservice@gmail.com> | 2019-07-21 20:25:08 +0000 |
| commit | 9bf1fe62a1d474a6f807ddf6a8aa0ae33c8237ac (patch) | |
| tree | c7926aea31a2a5553bb012b826da2f35c5b83558 | |
| parent | ba906c1be6fc5a0f1c4c3a4acb7c6b2f226617fc (diff) | |
| parent | 0308cc02c9383880a270e03a1945365c0059e3f8 (diff) | |
| download | librebootfr-9bf1fe62a1d474a6f807ddf6a8aa0ae33c8237ac.tar.gz librebootfr-9bf1fe62a1d474a6f807ddf6a8aa0ae33c8237ac.zip | |
Merge branch 'bug' of and_who/libreboot into master
| -rwxr-xr-x | libs/project | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/libs/project b/libs/project index b130af17..2b6fc2fd 100755 --- a/libs/project +++ b/libs/project @@ -126,14 +126,13 @@ project_function_check() { local project=$1 local function=$2 - project_include "$project" - - if ! function_check "$function" - then - return 1 - fi + ( + project_include "$project" - return 0 + if ! function_check "$function"; then + exit 1 + fi + ) } project_action() { |