1 files changed, 2 insertions, 0 deletions

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