X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fconfigure.in;h=6a512e98c998777f279fc7b24aee9e0577cf665c;hb=047a1a225d177be66e9f8e8d635332b92828e9d7;hp=b73c9b2b441bbf931705ae8e4d5dd8bcfc7a68fb;hpb=274cfc6d7faa3c8bbeaac47fc48365128f01c5bb;p=helm.git

diff --git a/helm/interface/configure.in b/helm/interface/configure.in
index b73c9b2b4..6a512e98c 100644
--- a/helm/interface/configure.in
+++ b/helm/interface/configure.in
@@ -45,4 +45,4 @@ AC_SUBST(HELM_BIN_DIR)
 AC_SUBST(HELM_DEFAULT_CONFIGURATION_DIR)
 AC_SUBST(PERL_BINARY)
 
-AC_OUTPUT([Makefile configuration.ml helm_wget])
+AC_OUTPUT([Makefile configuration.ml helm_wget], chmod +x helm_wget)