Remove a comment (was a debug work-in-progress)

2022-09-29 14:13:04 +02:00
parent ba47ed444a
commit 959d2edd5e
1 changed files with 1 additions and 1 deletions
@@ -59,7 +59,7 @@ do
 done
 echo " Checks finished"
 cd $CGAL_ROOT
-#rm -r dep_check_build
+rm -r dep_check_build
 if [ -n "$TOTAL_RES" ]; then
  printf "$TOTAL_RES"
  echo " You can run cmake with options CGAL_ENABLE_CHECK_HEADERS and CGAL_COPY_DEPENDENCIES ON, make the target packages_dependencies and commit the new dependencies files,"