mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-30 02:28:54 +00:00
3a9e5cbd8c
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.
2 lines
41 B
Plaintext
2 lines
41 B
Plaintext
2ddaef27345d1e73733c02ad824b69069bf116ce
|