ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-21 02:01:38 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Relax tool checks of Muen port

Browse Source 
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.
This commit is contained in:
Adrian-Ken Rueegsegger 2016-02-24 00:23:08 +01:00 committed by Christian Helmuth
parent 5a0bae2ad7
commit 3a9e5cbd8c
2 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-hw/ports/muen.hash
View File

@ -1 +1 @@
9cce20cff047c8a0054844b46c66df6531ecefb3
2ddaef27345d1e73733c02ad824b69069bf116ce

2
repos/base-hw/ports/muen.port
View File

@ -7,8 +7,6 @@ REV(muen) := 59171a3aabba95cd6d957a4b999e802e5622835b
DIR(muen) := src/kernel/muen
$(call check_tool,git)
$(call check_tool,gnat)
$(call check_tool,gprbuild)
$(call check_tool,iasl)
$(call check_tool,tidy)
$(call check_tool,xsltproc)