diff options
Diffstat (limited to 'kde/kdewebdev/Pkgfile')
| -rwxr-xr-x | kde/kdewebdev/Pkgfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kde/kdewebdev/Pkgfile b/kde/kdewebdev/Pkgfile index 9c359dc53..314076925 100755 --- a/kde/kdewebdev/Pkgfile +++ b/kde/kdewebdev/Pkgfile @@ -5,7 +5,7 @@ # Depends on: kdebase-runtime, kdepim-runtime, tidyhtml name=kdewebdev -version=4.5.0 +version=4.5.1 release=1 source=( ftp://ftp.kde.org/pub/kde/stable/$version/src/$name-$version.tar.bz2) @@ -17,7 +17,7 @@ build() { -DCMAKE_BUILD_TYPE=Release \ -DCMAKE_SKIP_RPATH=ON \ -DBUILD_doc=OFF - make -j3 + make -j5 make DESTDIR=$PKG install } |