1 files changed, 0 insertions, 36 deletions
diff --git a/distrib/prep-bin-dist-mingw-hdirect b/distrib/prep-bin-dist-mingw-hdirect
deleted file mode 100644
index a8aa21c215..0000000000
--- a/distrib/prep-bin-dist-mingw-hdirect
+++ /dev/null
@@ -1,36 +0,0 @@
-#!/bin/sh
-#
-# Running 'binary-dist' gives us a tree which
-# isn't quite right for the purposes of creating
-# a mingw/win32 install tree.  This script rejigs
-# the tree.
-#
-# To use:
-#
-#   foo$ cd <top of fptools build tree>
-#   foo$ make binary-dist Project=Ghc 
-#   foo$ cd ghc-<version>
-#   foo$ ../distrib/prep-bin-dist-mingw-hdirect <ghc-bin-dist-dir>
-#
-
-echo "In prep-bin-dist-mingw-hdirect $1"
-binary_dir=../$1
-
-# Play safe
-if ! [ -d bin/i386-unknown-mingw32 ] ; then
-  echo "Doesn't look as if I'm in the toplevel directory of a mingw tree"
-  echo "Usage: cd <project>-<version> ; ../distrib/prep-bin-dist-mingw-hdirect"
-  exit 1;
-fi;
-
-echo "rejig bin/"
-cp bin/i386-unknown-mingw32/ihc.exe $binary_dir/bin
-strip $binary_dir/bin/ihc.exe
-
-echo "rejig lib/"
-cp -r lib/i386-unknown-mingw32/hslibs-imports/hdirect $binary_dir/imports
-cp lib/i386-unknown-mingw32/*.o $binary_dir
-cp lib/i386-unknown-mingw32/*.a $binary_dir
-mv $binary_dir/imports/hdirect $binary_dir/imports/Hdirect
-
-exit 0