diff options
Diffstat (limited to 'lang/nim/files/patch-tools_deps.nim')
| -rw-r--r-- | lang/nim/files/patch-tools_deps.nim | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lang/nim/files/patch-tools_deps.nim b/lang/nim/files/patch-tools_deps.nim index 7ced3335f283..ab6d46bf2e34 100644 --- a/lang/nim/files/patch-tools_deps.nim +++ b/lang/nim/files/patch-tools_deps.nim @@ -1,6 +1,6 @@ ---- tools/deps.nim.orig 2023-08-02 16:00:39 UTC +--- tools/deps.nim.orig 2025-02-06 01:49:40 UTC +++ tools/deps.nim -@@ -20,25 +20,26 @@ proc execRetry(cmd: string) = +@@ -20,28 +20,29 @@ proc cloneDependency*(destDirBase: string, url: string proc cloneDependency*(destDirBase: string, url: string, commit = commitHead, appendRepoName = true, allowBundled = false) = @@ -47,3 +47,6 @@ + #else: + # quit "FAILURE: " & destdir & " already exists but is not a git repo" + quit "FAILURE: git operations now allowed!: " & destDirBase + + proc updateSubmodules*(dir: string, allowBundled = false) = + if isGitRepo(dir): |