diff options
Diffstat (limited to 'build-scripts/create-user-build-script')
-rwxr-xr-x | build-scripts/create-user-build-script | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/build-scripts/create-user-build-script b/build-scripts/create-user-build-script index 9921c0c..06315c6 100755 --- a/build-scripts/create-user-build-script +++ b/build-scripts/create-user-build-script @@ -176,7 +176,13 @@ export MANIFEST_REPO=\`echo ${MANIFEST_REPO} | sed 's/\/\/.*-bot@/\/\/'"\${LINAR export MANIFEST_BRANCH=${MANIFEST_BRANCH} export MANIFEST_FILENAME=${MANIFEST_FILENAME} export TARGET_PRODUCT=${TARGET_PRODUCT} +EOF + if [ -n "$TARGET_KERNEL_SOURCE" ] ; then + cat <<EOF export TARGET_KERNEL_SOURCE=${TARGET_KERNEL_SOURCE} +EOF + fi + cat <<EOF export TARGET_SIMULATOR=false export BUILD_TINY_ANDROID=${BUILD_TINY_ANDROID} export CPUS=\`grep -c processor /proc/cpuinfo\` |