summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorRod Kay2017-06-05 16:52:42 +1000
committerRod Kay2017-06-05 16:52:42 +1000
commitcf573171b62657dfedd73f57a110182e79af7710 (patch)
treecb7f0b12570e37e1327435d1e5fba3c29ebcf5c2 /PKGBUILD
parent7c8cb3233f3948cb64efe14bbc1494ef62b1f5e0 (diff)
downloadaur-cf573171b62657dfedd73f57a110182e79af7710.tar.gz
Add export of OS=UNIX
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 09e92af21419..b655431dc226 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -39,14 +39,14 @@ prepare() {
build() {
cd gprbuild
- export OS=linux
+ export OS=UNIX
make prefix=/usr PROCESSORS="$(nproc)" setup
make GPRBUILD_OPTIONS=-R
}
package() {
cd gprbuild
- export OS=linux
+ export OS=UNIX
make prefix="$pkgdir"/usr install
# Cleanup