mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-18 21:27:56 +00:00
parent
25c85fab18
commit
9ee1045aad
@ -1 +1 @@
|
||||
9252999ee23cfb811e707887ef05bf1283a41597
|
||||
a4101ef1bad971ff1e733a7cb8fd5ed4ef4120aa
|
||||
|
@ -43,7 +43,6 @@ TAR_OPT(libc) += usr/src/sys/x86
|
||||
#
|
||||
# Check for tools
|
||||
#
|
||||
$(call check_tool,svn)
|
||||
$(call check_tool,flex)
|
||||
$(call check_tool,bison)
|
||||
$(call check_tool,rpcgen)
|
||||
|
Loading…
Reference in New Issue
Block a user