Fix clone of external repository

Signed-off-by: Antonio Niño Díaz <antonio_nd@outlook.com>
This commit is contained in:
Antonio Niño Díaz
2018-12-02 23:39:09 +00:00
parent 5cb6c4af4b
commit 16fac50db4

View File

@@ -38,10 +38,10 @@ make compare
popd popd
if [ ! -d ucity ]; then 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 fi
pushd ucity pushd ucity
git fetch git fetch
git checkout 9fc8f27 git checkout 3315601
make -j make -j
popd popd