genode/repos/base-hw/ports
Adrian-Ken Rueegsegger 3a9e5cbd8c Relax tool checks of Muen port
The gnat and gprbuild tools are not necessarily in the PATH when
preparing the port since the effective location is specified by the
--image-muen-gnat-path RUN_OPT.
2016-02-26 11:36:55 +01:00
..
muen.hash Relax tool checks of Muen port 2016-02-26 11:36:55 +01:00
muen.port Relax tool checks of Muen port 2016-02-26 11:36:55 +01:00