diff options
| -rwxr-xr-x | kde/kdevelop-php-docs/Pkgfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kde/kdevelop-php-docs/Pkgfile b/kde/kdevelop-php-docs/Pkgfile index f945ab1d0..883d6e300 100755 --- a/kde/kdevelop-php-docs/Pkgfile +++ b/kde/kdevelop-php-docs/Pkgfile @@ -16,7 +16,7 @@ build() { cmake ../ -DCMAKE_INSTALL_PREFIX=/usr \ -DCMAKE_BUILD_TYPE=Release \ -DCMAKE_SKIP_RPATH=ON - make -j3 + make -j5 make DESTDIR=$PKG install } |