diff options
author | root <root@rshg054.dnsready.net> | 2013-10-31 01:12:24 -0700 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2013-10-31 01:12:24 -0700 |
commit | b2a6f1b28b7fa31088cab9a90b0f5ab97948534d (patch) | |
tree | afa7b467e44b704b69c66862852a8c3118b8e308 /extra/hdf5-openmpi | |
parent | 7c151ac5589d3dbef5972f69a62b847ecf565bfa (diff) |
Thu Oct 31 01:09:50 PDT 2013
Diffstat (limited to 'extra/hdf5-openmpi')
-rw-r--r-- | extra/hdf5-openmpi/PKGBUILD | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/extra/hdf5-openmpi/PKGBUILD b/extra/hdf5-openmpi/PKGBUILD index ae92a41f1..bc38f68c3 100644 --- a/extra/hdf5-openmpi/PKGBUILD +++ b/extra/hdf5-openmpi/PKGBUILD @@ -20,7 +20,6 @@ provides=('hdf5') conflicts=('hdf5') source=(ftp://ftp.hdfgroup.org/HDF5/current/src/${_pkgname}-${pkgver/_/-}.tar.bz2 mpi.patch) -options=('!libtool') sha1sums=('87ded0894b104cf23a4b965f4ac0a567f8612e5e' '658d4a3e537c9c76da3200effa8f95b656a21936') |