diff options
Diffstat (limited to 'tools/pipol/rc.redhat')
-rwxr-xr-x | tools/pipol/rc.redhat | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/tools/pipol/rc.redhat b/tools/pipol/rc.redhat deleted file mode 100755 index e4ae1dc..0000000 --- a/tools/pipol/rc.redhat +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/sh -# use fedora repositories -cp $PIPOL_HOMEDIR/.pipol/yum.repos.d/* /etc/yum.repos.d - -#yum -y update yum - -# update tools -yum --nogpgcheck -y update automake - -# get recent mpfr library -yum --noplugins -y install gmp-devel -#yum --disableplugin=rhnplugin -y install mpfr-devel -cd / -tar xjf $PIPOL_HOMEDIR/src/mpfr-2.3.2-ia64.tar.bz2 - |