Patrick Georgi (pgeorgi@google.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/10974
-gerrit
commit 4e0fb20a6a15725afd92135fc2fb90e0f7251858 Author: Patrick Georgi patrick@georgi-clan.de Date: Fri Jul 17 23:33:05 2015 +0200
crossgcc: Support /bin/sh pointing to dash
It doesn't know "source", but wants the older "." instead
Change-Id: Iafa61b1d2ffc9c737ab67a417c62417593b69374 Signed-off-by: Patrick Georgi patrick@georgi-clan.de --- util/crossgcc/buildgcc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/util/crossgcc/buildgcc b/util/crossgcc/buildgcc index f59b225..590e1f8 100755 --- a/util/crossgcc/buildgcc +++ b/util/crossgcc/buildgcc @@ -109,7 +109,7 @@ normalize_dirs()
please_install() { - test -r /etc/os-release && source /etc/os-release + test -r /etc/os-release && . /etc/os-release case "$ID_LIKE" in debian) solution="sudo apt-get install $1" ;; suse) solution="sudo zypper install $1" ;;