From: Claudio Sacerdoti Coen Date: Thu, 28 Dec 2000 17:54:29 +0000 (+0000) Subject: helm_wget is now executable X-Git-Tag: nogzip~13 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=047a1a225d177be66e9f8e8d635332b92828e9d7;p=helm.git helm_wget is now executable --- 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)