Merge pull request #3110 from lrineau/Installation-better_check_headers-lrineau

Installation: better check_headers (for Travis)
2018-05-25 10:42:22 +02:00
parent 3216107917 7d628c581a
commit e4ff486963
3 changed files with 31 additions and 11 deletions
@@ -29,7 +29,7 @@ do
 done

 cmake -DCGAL_HEADER_ONLY=FALSE -DCGAL_ENABLE_CHECK_HEADERS=TRUE -DDOXYGEN_EXECUTABLE="$DOX_PATH" -DCGAL_COPY_DEPENDENCIES=TRUE -DCMAKE_CXX_FLAGS="-std=c++11" ..
-make -j$(nproc --all) packages_dependencies
+make -j$(nproc --all) -k packages_dependencies
 echo " Checks finished"
 for pkg_path in $CGAL_ROOT/*
 do