Fix

1 files changed, 2 insertions, 1 deletions

diff --git a/PKGBUILD b/PKGBUILD
index b655431dc226..2f55f498456f 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -41,7 +41,8 @@ build() {
     cd gprbuild
     export OS=UNIX
     make prefix=/usr  PROCESSORS="$(nproc)" setup
-    make GPRBUILD_OPTIONS=-R
+    make
+#    make GPRBUILD_OPTIONS=-R
 }
 
 package() {