mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-24 07:46:42 +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
|