Hi Wouter,
On 22.11.18 14:48, Wouter van Oijen wrote:
I was just trying to prepare the "atari800" port (from genode-world) but the hash sum check failed (see logging below). I can easily fix the hash to make it work at my system, but I'm surprised that the current hash is only 40 characters (instead of 64 characters that are expected for a sha256sum). If it should be a sha256sum then the port will obviously not work for anybody, and should fail in any automated regression test. I have the feeling I'm missing something here... If I'll update the hash, will that break the build on another system? Why is the current hash only 40 characters long?
the SHA hashes were updated to SHA256 in version 18.05:
https://genode.org/documentation/release-notes/18.05#Validating_3rd-party_co...
Apparently, we missed to update the Atari800 port.
In contrast to the content of the 'genode' repository, the content of the 'genode-world' repository is not subject to automated tests. So the issue remained undetected. Thank you for reporting it! Would you like to submit a patch with a fix? ;-)
Cheers Norman