Fix

2 files changed, 3 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 45ef0488d8eb..61c544d9586b 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,5 +1,5 @@
 # Generated by mksrcinfo v8
-# Mon Jun  5 06:52:27 UTC 2017
+# Mon Jun  5 09:56:23 UTC 2017
 pkgbase = gprbuild
 	pkgdesc = multi-language build system
 	pkgver = r3147.g18e2bc01
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() {