From 16fac50db455b5a94ef4b6342345ae677ea7f7cd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Antonio=20Ni=C3=B1o=20D=C3=ADaz?= Date: Sun, 2 Dec 2018 23:39:09 +0000 Subject: [PATCH] Fix clone of external repository MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Antonio Niño Díaz --- test/run-tests.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/test/run-tests.sh b/test/run-tests.sh index 243bf4aa..02c5b88d 100755 --- a/test/run-tests.sh +++ b/test/run-tests.sh @@ -38,10 +38,10 @@ make compare popd if [ ! -d ucity ]; then - git clone https://github.com/AntonioND/ucity.git --shallow-since=2018-06-05 --single-branch + git clone https://github.com/AntonioND/ucity.git --shallow-since=2017-07-13 --single-branch fi pushd ucity git fetch -git checkout 9fc8f27 +git checkout 3315601 make -j popd