diff options
| -rwxr-xr-x | kde/kdewebdev/Pkgfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kde/kdewebdev/Pkgfile b/kde/kdewebdev/Pkgfile index 314076925..1e96d6fbf 100755 --- a/kde/kdewebdev/Pkgfile +++ b/kde/kdewebdev/Pkgfile @@ -17,7 +17,7 @@ build() { -DCMAKE_BUILD_TYPE=Release \ -DCMAKE_SKIP_RPATH=ON \ -DBUILD_doc=OFF - make -j5 + make make DESTDIR=$PKG install } |