Permalink
Fetching contributors…
Cannot retrieve contributors at this time
41 lines (32 sloc) 737 Bytes
#!/bin/sh
#
ARCH=$(uname -m)
if [ $(which nproc) ] ; then
CORES=$(nproc)
else
CORES=1
fi
#Debian 7 (Wheezy): git version 1.7.10.4 and later needs "--no-edit"
unset git_opts
git_no_edit=$(LC_ALL=C git help pull | grep -m 1 -e "--no-edit" || true)
if [ ! "x${git_no_edit}" = "x" ] ; then
git_opts="--no-edit"
fi
config="imx_v6_v7_defconfig"
#toolchain="gcc_linaro_eabi_4_8"
#toolchain="gcc_linaro_eabi_4_9"
#toolchain="gcc_linaro_gnueabi_4_6"
toolchain="gcc_linaro_gnueabihf_4_7"
#toolchain="gcc_linaro_gnueabihf_4_8"
#toolchain="gcc_linaro_gnueabihf_4_9"
#Kernel/Build
KERNEL_REL=3.8
KERNEL_TAG=${KERNEL_REL}-rc5
BUILD=donotuse1
#v3.X-rcX + upto SHA
#KERNEL_SHA=""
#git branch
#BRANCH="v3.8.x-imx"
DISTRO=cross
DEBARCH=armhf
#