1 files changed, 1 insertions, 1 deletions

diff --git a/PKGBUILD b/PKGBUILD
index ff38315a94fd..9075e977cbc1 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -41,7 +41,7 @@ prepare() {
     cd spark2014
     git submodule init
     git config submodule.why3.url "${srcdir}/why3-adacore"
-    git submodule update why3
+    git -c protocol.file.allow=always submodule update why3
     cd why3 && git reset --hard && cd ..
 
     ln -sf "${srcdir}/gcc/gcc/ada" gnat2why/gnat_src