diff options
author | Abdoulaye Walsimou Gaye <awg@embtoolkit.org> | 2013-04-07 12:01:48 +0200 |
---|---|---|
committer | Abdoulaye Walsimou Gaye <awg@embtoolkit.org> | 2013-04-07 12:01:48 +0200 |
commit | 0928b8688da3cc056d12e508120f1cc2acb00a91 (patch) | |
tree | 33fc034f873c27d75c5ed15bc1de4382c5181c57 | |
parent | a3eb907a89162879c4016faf783dff9ac9da764b (diff) | |
download | embtoolkit-0928b8688da3cc056d12e508120f1cc2acb00a91.tar.gz embtoolkit-0928b8688da3cc056d12e508120f1cc2acb00a91.tar.bz2 embtoolkit-0928b8688da3cc056d12e508120f1cc2acb00a91.tar.xz |
Build system: CI: give ability to specify download directory
Signed-off-by: Abdoulaye Walsimou Gaye <awg@embtoolkit.org>
-rwxr-xr-x | defconfigs/ci-build.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/defconfigs/ci-build.sh b/defconfigs/ci-build.sh index 52b1d00..d8532c2 100755 --- a/defconfigs/ci-build.sh +++ b/defconfigs/ci-build.sh @@ -39,6 +39,8 @@ while true; do toolchain=$2; shift 2;; --workspace) workspace=$2; shift 2;; + --downloaddir) + downloaddir=$2; shift 2;; --) shift; break ;; *) @@ -79,6 +81,12 @@ cd $workspace && rm -rf .config .config.old && gmake clean # Now generating .config # +if [ ! "x$downloaddir" = "x" ]; then + if [ -d $downloaddir ]; then + echo "CONFIG_EMBTK_DOWNLOAD_DIR=\"$downloaddir\"" >> $workspace/.config + fi +fi + set -- cat $workspace/defconfigs/common.kconfig >> $workspace/.config cd $workspace && rm -rf $workspace/generated/* && gmake olddefconfig && gmake |