ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-07 03:17:44 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

pistachio: check for 'ed' tool on port prepare

Browse Source 
Some debian systems seems to come without 'ed' in the base installation.
The tool is needed when building the pistachio kernel.
This commit is contained in:
Christian Helmuth 2019-12-04 11:40:38 +01:00
parent 6145cdcf37
commit 161274f785
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-pistachio/ports/pistachio.hash
View File

@ -1 +1 @@
7f32b6b4051d381006d12e2e4c6a14f691d0ceae
68c8c318ed89bfe9dd5410cf32c556dc478d1f29

1
repos/base-pistachio/ports/pistachio.port
View File

@ -12,6 +12,7 @@ $(call check_tool,patch)
$(call check_tool,sed)
$(call check_tool,autoheader)
$(call check_tool,autoconf)
$(call check_tool,ed)
#
# Determine python version to use for CML2