Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. configure: getIncludeDirs() should check if os.path.exists() for both: list and non-list locations (details)
  2. Fix multiple warnings -Wtype-limits -Wunused-result -Wstrict-prototypes (details)
Commit 1da319652f17f3108ec094b7e72b227d7880b643 by balay
configure: getIncludeDirs() should check if os.path.exists() for both: list and non-list locations
The file was modified config/BuildSystem/config/package.py (diff)
Commit 010bec48e404682eb1850b482d20a94ac5ea46b4 by balay
Fix multiple warnings -Wtype-limits -Wunused-result -Wstrict-prototypes
The file was modified src/ksp/ksp/tutorials/ex56.c (diff)
The file was modified include/petsc/private/dmpleximpl.h (diff)
The file was modified src/sys/objects/cxx/object_pool.cxx (diff)
The file was modified include/petsc/private/cpp/object_pool.hpp (diff)