diff options
| author | Thomas Penteker <tek@serverop.de> | 2013-11-21 00:13:27 +0100 |
|---|---|---|
| committer | Fredrik Rinnestam <fredrik@crux.nu> | 2014-01-19 22:04:31 +0100 |
| commit | 6191613ac1c0a878ef4b50beb29866c5a9fd1351 (patch) | |
| tree | 9599c17bef6a75f7a1515c6461ef32ddb061c9d6 /valgrind | |
| parent | 60167e81b1e233563f874f4b94673582cc0ccd5b (diff) | |
| download | opt-6191613ac1c0a878ef4b50beb29866c5a9fd1351.tar.gz opt-6191613ac1c0a878ef4b50beb29866c5a9fd1351.tar.xz | |
valgrind: add gdb as nice to have. thx diverse
Diffstat (limited to 'valgrind')
| -rw-r--r-- | valgrind/Pkgfile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/valgrind/Pkgfile b/valgrind/Pkgfile index bc3e3f91b..e0a074bdc 100644 --- a/valgrind/Pkgfile +++ b/valgrind/Pkgfile @@ -2,6 +2,7 @@ # URL: http://valgrind.org # Maintainer: Thomas Penteker, tek at serverop dot de # Packager: Tilman Sauerbeck, tilman at crux dot nu +# Nice to have: gdb name=valgrind version=3.9.0 @@ -11,7 +12,7 @@ source=(http://$name.org/downloads/$name-$version.tar.bz2) build() { cd $name-$version - ./configure --prefix=/usr --mandir=/usr/man + ./configure --prefix=/usr --mandir=/usr/man --enable-gdb make make DESTDIR=$PKG install |