mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-10 05:01:26 +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
|