1 files changed, 2 insertions, 0 deletions

diff --git a/boot b/boot
index dc7c9c0623..11e1785adc 100644
--- a/boot
+++ b/boot
@@ -12,6 +12,8 @@ do
     fi
 done
 
+chmod +x rts/gmp/configure
+
 autoreconf
 
 for lib in libraries/*; do