diff --git a/external/buildscripts/build.pl b/external/buildscripts/build.pl index 753688b80817621886753a5b75bdc3985b8f9ccd..208850f847c0abbb7555a859427951f13bdbb4b9 100644 --- a/external/buildscripts/build.pl +++ b/external/buildscripts/build.pl @@ -1666,10 +1666,6 @@ if ($artifact) system("cp", "$monoprefix/bin/mono-2.0.dll", "$distDirArchBin/mono-2.0.dll") eq 0 or die ("failed copying mono-2.0.dll\n"); system("cp", "$monoprefix/bin/mono-2.0.pdb", "$distDirArchBin/mono-2.0.pdb") eq 0 or die ("failed copying mono-2.0.pdb\n"); system("cp", "$monoprefix/bin/mono.exe", "$distDirArchBin/mono.exe") eq 0 or die ("failed copying mono.exe\n"); - if($ENV{MONODIS}) - { - system("cp", "$monoprefix/bin/monodis.exe", "$distDirArchBin/monodis.exe") eq 0 or die ("failed copying monodis.exe\n"); - } } }