diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-04-29 01:39:06 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-04-29 01:39:06 -0500 |
| commit | 0220842121c5fa8ffac398aa03ae2dd0600f3414 (patch) | |
| tree | e60f7464d7b9b0d60acb4394648b8fc3b3a347a6 /pcr/ipmitool/PKGBUILD | |
| parent | dae971ac95e073d00717b164371b0f2658e43ec4 (diff) | |
Removing packages. This packages are in community repo
Diffstat (limited to 'pcr/ipmitool/PKGBUILD')
| -rw-r--r-- | pcr/ipmitool/PKGBUILD | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/pcr/ipmitool/PKGBUILD b/pcr/ipmitool/PKGBUILD deleted file mode 100644 index 38d4eb237..000000000 --- a/pcr/ipmitool/PKGBUILD +++ /dev/null @@ -1,18 +0,0 @@ -# Maintainer : Parabola GNU / Linux-libre Aurélien DESBRIÈRES <aurelien@cwb.IO> - -pkgname=ipmitool -pkgver=1.8.11 -pkgrel=1 -pkgdesc="Command-line interface to IPMI-enabled devices" -arch=(i686 x86_64) -url="http://ipmitool.sourceforge.net" -depends=('glibc' 'bash' 'openssl') -license=("BSD") -source=(http://downloads.sourceforge.net/project/$pkgname/$pkgname/$pkgver/$pkgname-$pkgver.tar.bz2) - -build() { - cd $startdir/src/$pkgname-$pkgver - ./configure --prefix=/usr --with-kerneldir - make || return 1 - make DESTDIR=${startdir}/pkg install -} |