diff options
Diffstat (limited to 'distrib/prep-bin-dist-mingw')
| -rw-r--r-- | distrib/prep-bin-dist-mingw | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/distrib/prep-bin-dist-mingw b/distrib/prep-bin-dist-mingw index f2532a0087..b2be5c9a25 100644 --- a/distrib/prep-bin-dist-mingw +++ b/distrib/prep-bin-dist-mingw @@ -128,10 +128,11 @@ cp $mingw_bin/ar.exe bin/ # Note: later versions of dlltool.exe depend on a bfd helper DLL. cp $mingw_bin/dllwrap.exe gcc-lib/ cp $mingw_bin/dlltool.exe gcc-lib/ -# Remove unused cruft +# Remove worthy, but unused tools rm gcc-lib/f771.exe || echo "good - f771.exe not found" rm gcc-lib/gnat1.exe || echo "good - gnat1.exe not found" rm gcc-lib/jc1.exe || echo "good - jc1.exe not found" +rm gcc-lib/libgcj* || echo "good - libgcj libs not found" rm gcc-lib/jvgenmain.exe || echo "good - jvgenmain.exe not found" echo "extra header files inside of include/" |