summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorjakob2016-12-12 20:51:36 -0500
committerjakob2016-12-12 20:51:36 -0500
commit27920b8db723bf4c2e165a700841afdeeb465900 (patch)
treee872016ab6de19546898081b3a1f3650d2075c77
parent8168705d8b4ea44a8662bb9a674f0d6ed382939e (diff)
downloadaur-27920b8db723bf4c2e165a700841afdeeb465900.tar.gz
Fixed symlink
-rw-r--r--PKGBUILD10
1 files changed, 5 insertions, 5 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 90e82e945f7d..4395bc530db4 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -15,9 +15,9 @@ package() {
cd "$srcdir/$pkgname"
sed "s/\.\/gdb_pince\/gdb-7\.11\.1\/bin\/gdb/\/usr\/bin\/gdb/g" libPINCE/type_defs.py > libPINCE/type_defs.py.new
mv libPINCE/type_defs.py.new libPINCE/type_defs.py
- install -d $pkgdir/usr/bin
- install -d $pkgdir/usr/share/PINCE
- install PINCE.py $pkgdir/usr/share/PINCE
- cp -r GUI libPINCE media pince-non-stop-files $pkgdir/usr/share/PINCE
- ln -s $pkgdir/usr/share/PINCE/PINCE.py $pkgdir/usr/bin/pince
+ install -d "$pkgdir/usr/bin"
+ install -d "$pkgdir/usr/share/PINCE"
+ install PINCE.py "$pkgdir/usr/share/PINCE"
+ cp -r GUI libPINCE media pince-non-stop-files "$pkgdir/usr/share/PINCE"
+ ln -s "/usr/share/PINCE/PINCE.py" "${pkgdir}/usr/bin/pince"
}