Add export of OS=linux

2 files changed, 3 insertions, 1 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 824f2000fb72..23c830b82c83 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,5 +1,5 @@
 # Generated by mksrcinfo v8
-# Mon Jun  5 06:11:03 UTC 2017
+# Mon Jun  5 06:49:08 UTC 2017
 pkgbase = gprbuild
 	pkgdesc = multi-language build system
 	pkgver = r3147.g18e2bc01
diff --git a/PKGBUILD b/PKGBUILD
index 9e749337b247..09e92af21419 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -39,12 +39,14 @@ prepare() {
 
 build() {
     cd gprbuild
+    export OS=linux
     make prefix=/usr  PROCESSORS="$(nproc)" setup
     make GPRBUILD_OPTIONS=-R
 }
 
 package() {
     cd gprbuild
+    export OS=linux
     make prefix="$pkgdir"/usr install
 
     # Cleanup