From 308b5eefe3a3a586347c47970a01bb2bac4cb951 Mon Sep 17 00:00:00 2001 From: Andrew Robbins Date: Sat, 22 Jul 2017 02:07:24 -0400 Subject: Skip archive extraction if archive doesn't exist --- libs/project | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'libs') 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 } -- cgit v1.2.3-70-g09d2