It seems that the `doxygen` package will remove system includes... It should be a bug of ubuntu or docker. Since we are not using doxygen now, just remove this package.release/0.13.0
parent
35e5563695
commit
84246284b5
Loading…
Reference in new issue