diff options
| author | Andrew Robbins <contact@andrewrobbins.info> | 2017-07-22 02:07:24 -0400 |
|---|---|---|
| committer | Andrew Robbins <contact@andrewrobbins.info> | 2017-07-22 02:07:24 -0400 |
| commit | 308b5eefe3a3a586347c47970a01bb2bac4cb951 (patch) | |
| tree | 291183cf5976929b6494071328c56b7bc1d684f0 | |
| parent | 4aff8835cdd469f94a3ed30bfc3f0c0e3badd96f (diff) | |
| download | librebootfr-308b5eefe3a3a586347c47970a01bb2bac4cb951.tar.gz librebootfr-308b5eefe3a3a586347c47970a01bb2bac4cb951.zip | |
Skip archive extraction if archive doesn't exist
| -rwxr-xr-x | libs/project | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/project b/libs/project index 2efd7afb..ab56feba 100755 --- a/libs/project +++ b/libs/project @@ -680,7 +680,7 @@ project_extract() { if ! project_sources_directory_filled_check "$project" "$repository" "$@" then - project_sources_archive_missing_error "$project" "$@" + project_sources_archive_missing_error "$project" "$@" || return 1 project_sources_archive_extract "$project" "$@" fi } |