mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-28 23:23:56 +00:00
0126523b83
The dependency was added as a supposed work-around of a dysfunctional fork when building bash as depot archive. However, it turned out that the actual problem was related to the timestamps of 3rd-party source file, which were discarded by the recipes/src/bash/content.mk.