genode/repos/base-hw/ports/muen.hash
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

2 lines
41 B
Plaintext

2ddaef27345d1e73733c02ad824b69069bf116ce