[libbsd] How to install machine header files?

[Sebastian Huber]

On 08/04/2021 13:35, Jan.Sommer at dlr.de wrote:

> @Sebastian: Do you have a suggestion how I could resolve this? I think you have the most experience with the libbsd build system.
Sorry, I don't have an off hand solution for this.

-- 
embedded brains GmbH
Herr Sebastian HUBER
Dornierstr. 4
82178 Puchheim
Germany
email: sebastian.huber at embedded-brains.de
phone: +49-89-18 94 741 - 16
fax:   +49-89-18 94 741 - 08

Registergericht: Amtsgericht München
Registernummer: HRB 157899
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
Unsere Datenschutzerklärung finden Sie hier:
https://embedded-brains.de/datenschutzerklaerung/