diff options
-rw-r--r-- | lang/gcc/INSTALL | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/lang/gcc/INSTALL b/lang/gcc/INSTALL deleted file mode 100644 index 05e7382058b..00000000000 --- a/lang/gcc/INSTALL +++ /dev/null @@ -1,26 +0,0 @@ -#!/bin/sh -# -# Previous versions of the "gcc" package would install a corrupted -# info entry for "chill", which would foil subsequent installations. -# This script attempts to clean up that entry. - -case ${STAGE} in -PRE-INSTALL) - if [ ! -w "${PKG_PREFIX}/info/dir" ]; then - exit 1 - fi - if [ -x /bin/ed ]; then - ${ECHO} "Fixing up info/dir from previous installation..." - /bin/ed "${PKG_PREFIX}/info/dir" 2> /dev/null << END -/^* Chill/d -w -q -END - if [ $? -eq 0 ]; then - ${ECHO} "...fixed." - else - ${ECHO} "...nothing to fix." - fi - fi - ;; -esac |