The Jenkins Controller is preparing for shutdown. No new builds can be started.
- build #953 :
Changes
- configure: getIncludeDirs() should check if os.path.exists() for both: list and non-list locations
(details / gitlab)
- Fix multiple warnings -Wtype-limits -Wunused-result -Wstrict-prototypes
(details / gitlab)