genodelabs/genode — Issue #125: Genode build misses assembly header changes
Author: m-stein
Created: 2012-02-23 16:18:09+00:00
State: open
Labels: bug

The genode build system doesn't recognize changes in assembly header files on its own. Instead one has to clean up and rebuild or ensure that all objects, wich include such headers, get recompiled.