diff --git a/Utilities/Scripts/update-third-party.bash b/Utilities/Scripts/update-third-party.bash index 8925296cb..d4d346c96 100644 --- a/Utilities/Scripts/update-third-party.bash +++ b/Utilities/Scripts/update-third-party.bash @@ -85,6 +85,7 @@ if [ -n "$basehash" ]; then # Clear out the working tree pushd "$extractdir" git ls-files | xargs rm -v + find . -type d -empty -delete popd else # Create a repo to hold this package's history