summaryrefslogtreecommitdiff
path: root/distrib
diff options
context:
space:
mode:
authorsof@galois.com <unknown>2006-08-18 21:41:55 +0000
committersof@galois.com <unknown>2006-08-18 21:41:55 +0000
commitdd241f349c47ef26fa0dbe313e3dc1b5ccac9363 (patch)
tree065868b2ad9b2bd006c6613323683c7f91d64a7f /distrib
parenta22ade7c478d033be67634dd4a86f7590766f023 (diff)
downloadhaskell-dd241f349c47ef26fa0dbe313e3dc1b5ccac9363.tar.gz
remove gcj libs from bin dist
Diffstat (limited to 'distrib')
-rw-r--r--distrib/prep-bin-dist-mingw3
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/"