From 16ee51f473e1986c8fc5025a03e895addd99169c Mon Sep 17 00:00:00 2001 From: chak Date: Sat, 16 Dec 2000 06:55:58 +0000 Subject: [PATCH] [project @ 2000-12-16 06:55:58 by chak] Simplified setting of build directory following a suggestion by Jeff Lewis. --- distrib/cvs-build | 17 +---------------- 1 file changed, 1 insertion(+), 16 deletions(-) diff --git a/distrib/cvs-build b/distrib/cvs-build index 911589e..760f224 100644 --- a/distrib/cvs-build +++ b/distrib/cvs-build @@ -119,25 +119,10 @@ cd $BUILD_DIR tar -cz -f $BUILD_DIR/SOURCES/ghc-$VERSION-src.tar.gz fptools || exit 1 rm -rf $BUILD_DIR/fptools -# set up the configuration for rpm -# -# * !!! this is not really elegant - any better idea? -# -our_rcfile=$BUILD_DIR/rpmrc -our_macrofile=$BUILD_DIR/rpmmacros -cat >$our_rcfile <$our_macrofile <