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>
Reviewed-on: http://review.coreboot.org/10974
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
This commit is contained in:
Patrick Georgi 2015-07-17 23:33:05 +02:00 committed by Patrick Georgi
parent 67b9430b36
commit 5da95dc4c2
1 changed files with 1 additions and 1 deletions

View File

@ -109,7 +109,7 @@ normalize_dirs()
please_install() please_install()
{ {
test -r /etc/os-release && source /etc/os-release test -r /etc/os-release && . /etc/os-release
case "$ID_LIKE" in case "$ID_LIKE" in
debian) solution="sudo apt-get install $1" ;; debian) solution="sudo apt-get install $1" ;;
suse) solution="sudo zypper install $1" ;; suse) solution="sudo zypper install $1" ;;