diff options
author | Abdoulaye Walsimou Gaye <awg@embtoolkit.org> | 2013-04-07 12:32:40 +0200 |
---|---|---|
committer | Abdoulaye Walsimou Gaye <awg@embtoolkit.org> | 2013-04-07 12:32:40 +0200 |
commit | 902a212e9773332468a054e4dec06a8ea38a1afe (patch) | |
tree | 203c58055e1f27ad6148d61c22a10947c65b007b | |
parent | 0928b8688da3cc056d12e508120f1cc2acb00a91 (diff) | |
download | embtoolkit-902a212e9773332468a054e4dec06a8ea38a1afe.tar.gz embtoolkit-902a212e9773332468a054e4dec06a8ea38a1afe.tar.bz2 embtoolkit-902a212e9773332468a054e4dec06a8ea38a1afe.tar.xz |
Build system: CI: give ability to specify gnu make program
Signed-off-by: Abdoulaye Walsimou Gaye <awg@embtoolkit.org>
-rwxr-xr-x | defconfigs/ci-build.sh | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/defconfigs/ci-build.sh b/defconfigs/ci-build.sh index d8532c2..b3c56e9 100755 --- a/defconfigs/ci-build.sh +++ b/defconfigs/ci-build.sh @@ -41,6 +41,8 @@ while true; do workspace=$2; shift 2;; --downloaddir) downloaddir=$2; shift 2;; + --makecmd) + makecmd=$2; shift 2;; --) shift; break ;; *) @@ -70,7 +72,15 @@ if [ ! -e $workspace/defconfigs/$arch/$arch-ci-build.sh ]; then perror "Architecture $arch does not provide specifics" exit 1 fi -cd $workspace && rm -rf .config .config.old && gmake clean + +xmakecmd="" +if [ "x$makecmd" = "x" ]; then + xmakecmd=make +else + xmakecmd=$makecmd +fi + +cd $workspace && rm -rf .config .config.old && $xmakecmd clean # # arch script @@ -89,4 +99,4 @@ fi set -- cat $workspace/defconfigs/common.kconfig >> $workspace/.config -cd $workspace && rm -rf $workspace/generated/* && gmake olddefconfig && gmake +cd $workspace && rm -rf $workspace/generated/* && $xmakecmd olddefconfig && $xmakecmd |