diff options
author | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2022-04-15 18:39:17 +0200 |
---|---|---|
committer | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2022-04-21 10:08:45 +0200 |
commit | 80cd99322f1369ee694d0dd125989d5a1b123ba9 (patch) | |
tree | 5efccedf6f878564f45dfcdfbe0ec381d52af0a5 /depends | |
parent | a4fd440741a507d3e9be0e55e84d566ade69f798 (diff) | |
download | bitcoin-80cd99322f1369ee694d0dd125989d5a1b123ba9.tar.xz |
scripted-diff: Rename INSTALLNAMETOOL -> INSTALL_NAME_TOOL
This change makes naming of `install_name_tool` consistent across
the whole build system.
-BEGIN VERIFY SCRIPT-
sed --in-place --expression='s/INSTALLNAMETOOL/INSTALL_NAME_TOOL/g' $(git grep --files-with-matches 'INSTALLNAMETOOL')
-END VERIFY SCRIPT-
Diffstat (limited to 'depends')
0 files changed, 0 insertions, 0 deletions