]> matita.cs.unibo.it Git - helm.git/commitdiff
helm_wget is now executable
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 17:54:29 +0000 (17:54 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 17:54:29 +0000 (17:54 +0000)
helm/interface/configure.in

index b73c9b2b441bbf931705ae8e4d5dd8bcfc7a68fb..6a512e98c998777f279fc7b24aee9e0577cf665c 100644 (file)
@@ -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)