From edeb43ba3ae6de3f1e48589542b06dea2532cf80 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Sun, 21 Jul 2019 18:38:00 +0200
Subject: [PATCH] Revert "official ftp for xdrfile"

This reverts commit 1486c3373df4c65a3430aa5589e0be7889e0546f.
---
 .travis/install.xdrfile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.travis/install.xdrfile b/.travis/install.xdrfile
index 6b77b96f8..e30bb5a31 100755
--- a/.travis/install.xdrfile
+++ b/.travis/install.xdrfile
@@ -6,11 +6,12 @@ set -x
 cd "$(mktemp -dt plumed.XXXXXX)"
 
 echo "installing xdrfile library"
-wget ftp://ftp.gromacs.org/pub/contrib/xdrfile-1.1.4.tar.gz
+# wget ftp://ftp.gromacs.org/pub/contrib/xdrfile-1.1.4.tar.gz
 # xdrfile was removed from gromacs ftp
 # as a workaround I added a copy to people.sissa.it/~bussi/plumed
 # this complies with its license
-# wget people.sissa.it/~bussi/plumed/xdrfile-1.1.4.tar.gz
+
+wget people.sissa.it/~bussi/plumed/xdrfile-1.1.4.tar.gz
 
 tar xzf xdrfile-1.1.4.tar.gz
 
-- 
GitLab