Skip to content

Conversation

@christian-rauch
Copy link
Contributor

The linux-headers-generic rosdep key does not guarantee that the headers of the running kernel will be installed. E.g. on a Ubuntu 18.04 LTS, the rosdep and package linux-headers-generic will depend on linux-headers-4.15.0-72-generic, while point releases (.2, .3, ...) will likely have packages linux-headers-generic-hwe-18.04 installed, which will depend on linux-headers-5.0.0-37-generic.
The build system has to determine the running kernel version in any case and this rosdep key just installs "old" unused header packages.

@ev-mp ev-mp changed the base branch from master to development February 6, 2020 16:43
@christian-rauch
Copy link
Contributor Author

Any news on this?

@dorodnic
Copy link
Contributor

dorodnic commented Mar 5, 2020

Thanks @christian-rauch , sorry for the delay

@dorodnic dorodnic merged commit ba5ccae into realsenseai:development Mar 5, 2020
@christian-rauch christian-rauch deleted the rm_rosdep_headers branch March 5, 2020 10:54
@YoshuaNava
Copy link

This issue was closed before this fix was even submitted #4039

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants