No shallow clone to keep the history for the diff

2021-07-30 15:46:28 +02:00
parent e157a4aac9
commit 62835eb601
1 changed files with 1 additions and 1 deletions
@@ -21,7 +21,7 @@ PR_NUMBER=$4

 cd ${CGAL_GIT_DIR}
 if [ ! -d cgal ]; then
-  git clone --depth 1 --no-single-branch https://github.com/CGAL/cgal.git 
+  git clone https://github.com/CGAL/cgal.git 
  cd cgal
  git remote rename origin cgal
  cd ..