From 068632d41dc55300dc28ef4bcadbb81e3f845a7d Mon Sep 17 00:00:00 2001 From: Maren van Otterdijk Date: Thu, 22 Aug 2024 17:08:53 +0200 Subject: [PATCH] prolog_pack: only check for git dir if git(false) is not in options --- library/prolog_pack.pl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/library/prolog_pack.pl b/library/prolog_pack.pl index 2bd478466e..51f217f2a3 100644 --- a/library/prolog_pack.pl +++ b/library/prolog_pack.pl @@ -893,7 +893,8 @@ link_file(RelPath, PackDir, symbolic), assertion(same_file(Source, PackDir)) ) - ; is_git_directory(Source) + ; \+ option(git(false), Options), + is_git_directory(Source) -> remove_existing_pack(PackDir, Options), run_process(path(git), [clone, Source, PackDir], []) ; prepare_pack_dir(PackDir, Options),