diff options
| -rw-r--r-- | Utilities/Scripts/update-third-party.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Utilities/Scripts/update-third-party.bash b/Utilities/Scripts/update-third-party.bash index d973671..6aeeccd 100644 --- a/Utilities/Scripts/update-third-party.bash +++ b/Utilities/Scripts/update-third-party.bash @@ -48,7 +48,7 @@ # Utility functions ######################################################################## git_archive () { - git archive --prefix="$name-reduced/" HEAD -- $paths | \ + git archive --worktree-attributes --prefix="$name-reduced/" HEAD -- $paths | \ tar -C "$extractdir" -x } |