summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorEmmanuel Gil Peyrot2019-05-10 12:41:32 +0200
committerEmmanuel Gil Peyrot2019-05-10 12:49:10 +0200
commit728a679cd2bfa756233e59f6df0edf9ddc80f050 (patch)
treeeb6960a9e1a68972e2886deb947f5885e07217b4
parentd1ef2a84c822b80a68c7e54faece1101a0a678c5 (diff)
downloadaur-728a679cd2bfa756233e59f6df0edf9ddc80f050.tar.gz
Install ./play.it in /usr instead of /usr/local
This is the recommended prefix for all packages in ArchLinux, /usr/local should be kept for non-packages installed by the system administrator.
-rw-r--r--PKGBUILD2
1 files changed, 1 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 5dcd53a4be06..89cf20b1adc8 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -24,6 +24,6 @@ build() {
package() {
cd "$srcdir/$pkgname-$pkgver"
- make DESTDIR="$pkgdir" install
+ make DESTDIR="$pkgdir" prefix="/usr" bindir="/usr/bin" install
}