ports/opt (3.0): valgrind: remove enormous ./configure-bloat; thanks tilman
3 Jan
2014
3 Jan
'14
11:27 p.m.
commit a8953af80239744ef7c18f02c622335c487ee405 Author: Thomas Penteker <tek@serverop.de> Date: Sat Jan 4 00:23:44 2014 +0100 valgrind: remove enormous ./configure-bloat; thanks tilman diff --git a/valgrind/Pkgfile b/valgrind/Pkgfile index e0a074b..5e0ccae 100644 --- a/valgrind/Pkgfile +++ b/valgrind/Pkgfile @@ -12,7 +12,7 @@ source=(http://$name.org/downloads/$name-$version.tar.bz2) build() { cd $name-$version - ./configure --prefix=/usr --mandir=/usr/man --enable-gdb + ./configure --prefix=/usr --mandir=/usr/man make make DESTDIR=$PKG install
4030
Age (days ago)
4030
Last active (days ago)
0 comments
1 participants
participants (1)
-
crux@crux.nu