From 9efea25dc271eb51499594bbe5a30cba0e816edb Mon Sep 17 00:00:00 2001
From: Moritz Bunkus <moritz@bunkus.org>
Date: Sat, 24 Feb 2018 11:01:48 +0100
Subject: [PATCH] macOS build: remove mkvinfo-gui

---
 tools/macos/build.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/macos/build.sh b/tools/macos/build.sh
index be8814450..0e788a066 100755
--- a/tools/macos/build.sh
+++ b/tools/macos/build.sh
@@ -332,7 +332,7 @@ function build_dmg {
   ${RAKE} install prefix=${dmgcnt}
   test -f ${dmgmac}/mkvtoolnix-gui
 
-  strip ${dmgcnt}/MacOS/mkv{merge,info,info-gui,extract,propedit,toolnix-gui}
+  strip ${dmgcnt}/MacOS/mkv{merge,info,extract,propedit,toolnix-gui}
 
   mv ${dmgmac}/mkvtoolnix/sounds ${dmgmac}/sounds
   rmdir ${dmgmac}/mkvtoolnix
@@ -419,7 +419,7 @@ EOF
 
   for plugin (audio mediaservice platforms playlistformats) cp -v -R ${TARGET}/plugins/${plugin} ${dmgmac}/
 
-  for FILE (${dmgmac}/**/*.dylib(.) ${dmgmac}/{mkvinfo,mkvinfo-gui,mkvtoolnix-gui}) {
+  for FILE (${dmgmac}/**/*.dylib(.) ${dmgmac}/{mkvinfo,mkvtoolnix-gui}) {
     otool -L ${FILE} | \
       grep -v : | \
       grep -v @executable_path | \