We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f31d563 commit 19155f3Copy full SHA for 19155f3
Utilities/Maintenance/update-third-party.bash
@@ -85,7 +85,8 @@ disable_custom_gitattributes() {
85
pushd "${extractdir}/${name}-reduced"
86
# Git does not allow custom attributes in a subdirectory where we
87
# are about to merge the `.gitattributes` file, so disable them.
88
- sed -i '/^\[attr\]/ {s/^/#/;}' .gitattributes
+ sed -i.bak -e '/^\[attr\]/ {s/^/#/;}' .gitattributes
89
+ rm .gitattributes.bak
90
popd
91
}
92
0 commit comments