After git pull make can't work without make clean
In the clean master repo: configure make can work. But after git pull. Just run make. It always failed. After make clean. it can success. But it will take long time as in the clean repo.
(It is not bug I can find other type to desc)
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.5 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | low |
| Resolution | Unresolved |
| Component | Build System |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |
Edited by jiamo