diff options
-rwxr-xr-x | test/Scripts/macho-dumpx (renamed from test/Scripts/macho-dump) | 0 | ||||
-rw-r--r-- | test/Scripts/macho-dumpx.bat (renamed from test/Scripts/macho-dump.bat) | 0 | ||||
-rw-r--r-- | tools/macho-dump/Makefile | 2 |
3 files changed, 1 insertions, 1 deletions
diff --git a/test/Scripts/macho-dump b/test/Scripts/macho-dumpx index 71e06d837b..71e06d837b 100755 --- a/test/Scripts/macho-dump +++ b/test/Scripts/macho-dumpx diff --git a/test/Scripts/macho-dump.bat b/test/Scripts/macho-dumpx.bat index 81484f67d7..81484f67d7 100644 --- a/test/Scripts/macho-dump.bat +++ b/test/Scripts/macho-dumpx.bat diff --git a/tools/macho-dump/Makefile b/tools/macho-dump/Makefile index 7f965f36c4..638015e928 100644 --- a/tools/macho-dump/Makefile +++ b/tools/macho-dump/Makefile @@ -8,7 +8,7 @@ ##===----------------------------------------------------------------------===## LEVEL = ../.. -TOOLNAME = macho-dumpx +TOOLNAME = macho-dump # This tool has no plugins, optimize startup time. TOOL_NO_EXPORTS = 1 |