Actions
Bug #2020
closedJenkins: cannot detect missing includes
Start date:
10/02/2014
Due date:
% Done:
100%
Estimated time:
Description
Steps to reproduce:
- submit Gerrit Change 1274 patchset 5 for build
- inspect build result
Expected: build fails due to missing header includes
Actual: build succeeds
Updated by Junxiao Shi about 10 years ago
- Status changed from New to Closed
- Assignee set to Alex Afanasyev
- % Done changed from 0 to 100
This behavior is caused by pre-compiled header.
Jenkins build script has been modified to disable pre-compiled header --without-pch
.
Actions