Add a check here if /bin/bash exists and print an error if not with instructions to solve that

View Change

To view, visit change 33014. To unsubscribe, or for help writing mail filters, visit settings.

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: I71495e15b8f1a495af7d8ab21cc5235feb595e01
Gerrit-Change-Number: 33014
Gerrit-PatchSet: 3
Gerrit-Owner: Christian Walter <christian.walter@9elements.com>
Gerrit-Reviewer: Christian Walter <christian.walter@9elements.com>
Gerrit-Reviewer: Philipp Deppenwiese <zaolin.daisuki@gmail.com>
Gerrit-Reviewer: build bot (Jenkins) <no-reply@coreboot.org>
Gerrit-Comment-Date: Tue, 28 May 2019 09:20:53 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: No
Gerrit-MessageType: comment