diff options
| -rwxr-xr-x | libs/project | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/libs/project b/libs/project index 44de3957..00e7673b 100755 --- a/libs/project +++ b/libs/project @@ -1242,10 +1242,7 @@ project_release_install_archive() { project_install_directory_missing_empty_error "$project" "$@" - if ! project_release_install_archive_exists_check "$project" "$prefix" "$@" - then - project_release_install_archive_create "$project" "$prefix" "$@" - fi + project_release_install_archive_create "$project" "$prefix" "$@" } project_release_install_archive_check() { |