Fixes the issue described in https://github.com/googlecartographer/cartographer/pull/1041. The docker file is not to be merged, it is only here to help reproducing the issue and fix. |
||
|---|---|---|
| .. | ||
| FindGMock.cmake | ||
| FindLuaGoogle.cmake | ||
| FindSphinx.cmake | ||
Fixes the issue described in https://github.com/googlecartographer/cartographer/pull/1041. The docker file is not to be merged, it is only here to help reproducing the issue and fix. |
||
|---|---|---|
| .. | ||
| FindGMock.cmake | ||
| FindLuaGoogle.cmake | ||
| FindSphinx.cmake | ||