mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-26 13:49:39 +00:00
698f6eb86c
GDB monitor re-uses internal parts of the sandbox library. It thereby relies on the internal detail of how local headers are included (using "" instead of the now usual practice <>). A seemingly unrelated change "init/sandbox: avoid repetitive state reports" eventually broke the build of the GDB monitor. This patch makes the GDB monitor less reliant on the way of how the sandbox includes headers internally. It also fixes a few warnings caused by the double definition of __GENODE__ (adding an missing include guard and making the #define conditional). Related to issue #4064