michaelh/zephyr
1
0
Fork 0
Code Releases Activity

grub: Tweak build_grub.sh for proxy issues

Browse source 
Using git clone with git: protocol requires proxy settings
that can be a problem that doesn't happen with http: protocol

Change-Id: I4c02289f5c15494c31d4cca0849bf3093b602125
Signed-off-by: David B. Kinder <david.b.kinder@intel.com>
This commit is contained in:
David B. Kinder 2016-08-19 15:59:27 -07:00 • committed by Anas Nashif
commit 8e4275298c
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/build_grub.sh
View file

@ -11,7 +11,7 @@ SCRIPT_DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
prepare() {
if [[ ! -d ./src ]]; then
git clone git://git.savannah.gnu.org/grub.git src
git clone http://git.savannah.gnu.org/r/grub.git src
fi
pushd src