diff --git a/Utilities/Scripts/update-third-party.bash b/Utilities/Scripts/update-third-party.bash index d9736719a..6aeeccd1b 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 }