diff options
| author | Thomas Penteker <tek@serverop.de> | 2014-08-24 21:28:31 +0200 |
|---|---|---|
| committer | Thomas Penteker <tek@serverop.de> | 2014-08-24 21:28:31 +0200 |
| commit | 4e6d21f3cb34da31a24e697317c2d97b2f7745c8 (patch) | |
| tree | c1a0b973954e971d6f72061134b6ed83f3a2928f /valgrind | |
| parent | cc38a183eb90796224f84924621dbac5a4e323f4 (diff) | |
| download | opt-4e6d21f3cb34da31a24e697317c2d97b2f7745c8.tar.gz opt-4e6d21f3cb34da31a24e697317c2d97b2f7745c8.tar.xz | |
valgrind: fix building with glibc-2.19
Diffstat (limited to 'valgrind')
| -rw-r--r-- | valgrind/Pkgfile | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/valgrind/Pkgfile b/valgrind/Pkgfile index e0a074bdc..5ed91c690 100644 --- a/valgrind/Pkgfile +++ b/valgrind/Pkgfile @@ -10,12 +10,13 @@ release=1 source=(http://$name.org/downloads/$name-$version.tar.bz2) build() { - cd $name-$version + cd $name-$version - ./configure --prefix=/usr --mandir=/usr/man --enable-gdb - make - make DESTDIR=$PKG install + sed -i 's/2.18/2.19/' configure + ./configure --prefix=/usr --mandir=/usr/man + make + make DESTDIR=$PKG install - rm -rf $PKG/usr/share/doc - rmdir $PKG/usr/share + rm -rf $PKG/usr/share/doc + rmdir $PKG/usr/share } |