genode/repos/base-pistachio/ports/pistachio.hash
Christian Helmuth 161274f785 pistachio: check for 'ed' tool on port prepare
Some debian systems seems to come without 'ed' in the base installation.
The tool is needed when building the pistachio kernel.
2019-12-19 17:00:47 +01:00

2 lines
41 B
Plaintext

68c8c318ed89bfe9dd5410cf32c556dc478d1f29