We have two copies of other.h, one of which is generated. If we don't include the include/ directory then building fails unless the custom_target which copies it over, happens to run early enough. On parallel builds this may fall on its face.pull/13017/head
parent
f9eef40982
commit
1baabbc7f6
1 changed files with 2 additions and 2 deletions
Loading…
Reference in new issue