do check the target check_headers_linked_twice

2025-12-18 16:12:27 +01:00
parent 28bf0c6802
commit c92344e50c
1 changed files with 1 additions and 0 deletions
@@ -38,6 +38,7 @@ done
 cmake -DCGAL_ENABLE_CHECK_HEADERS=TRUE -DDOXYGEN_EXECUTABLE="$DOX_PATH" -DCGAL_COPY_DEPENDENCIES=TRUE -DCMAKE_CXX_FLAGS="-std=c++1y" ..
 if [ -n "$DO_CHECK_HEADERS" ]; then
    make -j"$(nproc --all)" -k check_headers
+    make -j"$(nproc --all)" -k check_headers_linked_twice
 fi
 make -j"$(nproc --all)" -k packages_dependencies
 echo " Checks finished"