From dd241f349c47ef26fa0dbe313e3dc1b5ccac9363 Mon Sep 17 00:00:00 2001 From: "sof@galois.com" Date: Fri, 18 Aug 2006 21:41:55 +0000 Subject: [PATCH] remove gcj libs from bin dist --- distrib/prep-bin-dist-mingw | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/distrib/prep-bin-dist-mingw b/distrib/prep-bin-dist-mingw index f2532a0..b2be5c9 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/" -- 1.7.10.4