diff options
| author | Thomas Penteker <tek@serverop.de> | 2015-07-19 00:42:54 +0200 |
|---|---|---|
| committer | Thomas Penteker <tek@serverop.de> | 2015-07-19 00:42:54 +0200 |
| commit | 4518438477151650af41fa27107cdc4c57d06489 (patch) | |
| tree | b38965506bd720a94d024e67a7866d29e9610e18 /valgrind | |
| parent | ac886b7f8af0c560cadbdb32b6252b584b81eedb (diff) | |
| download | opt-4518438477151650af41fa27107cdc4c57d06489.tar.gz opt-4518438477151650af41fa27107cdc4c57d06489.tar.xz | |
valgrind: support 4.x kernels
Diffstat (limited to 'valgrind')
| -rw-r--r-- | valgrind/Pkgfile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/valgrind/Pkgfile b/valgrind/Pkgfile index 55a0646bd..c511ebdc4 100644 --- a/valgrind/Pkgfile +++ b/valgrind/Pkgfile @@ -12,6 +12,10 @@ source=(http://$name.org/downloads/$name-$version.tar.bz2) build() { cd $name-$version + # suppot 4.x kernels, too + sed -i 's/2.6\.\*|3\.\*/&|4.*/1' configure.ac + autoconf + sed -i 's/2.18/2.19/' configure ./configure --prefix=/usr --mandir=/usr/man make |