"a7ec3d4c6658dfd71faefd0a68f4dd566ed3a781" (history) in projects: optee_os

Searched hist:a7ec3d4c6658dfd71faefd0a68f4dd566ed3a781 (Results 1 – 1 of 1) sorted by relevance

/optee_os/
H A D	Makefile	`a7ec3d4c6658dfd71faefd0a68f4dd566ed3a781 Tue Apr 14 08:09:14 UTC 2020 Rouven Czerwinski <r.czerwinski@pengutronix.de> Makefile: use plain bash for SHELL Some linux distributions do not provide bash at the /bin/bash location, use bash directly and expect the user to setup a proper $PATH. Signed-off-by: Rouven Czerwinski <r.czerwinski@pengutronix.de> Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>`