mirror of
https://gitlab.univ-nantes.fr/glicid-public/guix-glicid.git
synced 2025-04-30 06:08:37 +02:00
13 lines
435 B
Diff
13 lines
435 B
Diff
|
diff --git a/configure.ac b/configure.ac
|
||
|
|
index b421192..eb4f232 100644
|
||
|
|
--- a/configure.ac
|
||
|
|
+++ b/configure.ac
|
||
|
|
@@ -60,6 +60,7 @@ if test "x$WGET" = "x"; then
|
||
|
|
if test "x$CURL" = "x"; then
|
||
|
|
AC_MSG_WARN([** Neither wget nor curl could be found.])
|
||
|
|
AC_MSG_WARN([** IANA PEN database will not be installed by `make install` !])
|
||
|
|
+ DOWNLOAD=""
|
||
|
|
else
|
||
|
|
DOWNLOAD="$CURL --location --progress-bar"
|
||
|
|
AM_CONDITIONAL([DOWNLOAD], [true])
|