diff options
Diffstat (limited to 'Utilities/Scripts/update-third-party.bash')
| -rw-r--r-- | Utilities/Scripts/update-third-party.bash | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Utilities/Scripts/update-third-party.bash b/Utilities/Scripts/update-third-party.bash index 8925296..d4d346c 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 |