Set rts/gmp/configure executable when booting

13949af5 · Ian Lynagh · 933e8d01 · 13949af5
Commit 13949af5 authored Apr 30, 2007 by Ian Lynagh
--- a/boot
+++ b/boot
@@ -12,6 +12,8 @@ do
    fi
 done

+chmod +x rts/gmp/configure
+
 autoreconf

 for lib in libraries/*; do