diff options
author | sof@galois.com <unknown> | 2006-08-18 21:41:55 +0000 |
---|---|---|
committer | sof@galois.com <unknown> | 2006-08-18 21:41:55 +0000 |
commit | dd241f349c47ef26fa0dbe313e3dc1b5ccac9363 (patch) | |
tree | 065868b2ad9b2bd006c6613323683c7f91d64a7f /distrib | |
parent | a22ade7c478d033be67634dd4a86f7590766f023 (diff) | |
download | haskell-dd241f349c47ef26fa0dbe313e3dc1b5ccac9363.tar.gz |
remove gcj libs from bin dist
Diffstat (limited to 'distrib')
-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/" |