X-Git-Url: http://git.ozlabs.org/?p=petitboot;a=blobdiff_plain;f=docker%2Fbuild-pb;fp=docker%2Fbuild-pb;h=62295509f20b28b093e24bff939159c872b11041;hp=1d87fb421447ddce0cdb399d81d99afd03a370db;hb=3d408f06f22049c94a295c501852876f4f4e5e36;hpb=93065a40773611096f2b1e095563ae21c5056c93

diff --git a/docker/build-pb b/docker/build-pb
index 1d87fb4..6229550 100755
--- a/docker/build-pb
+++ b/docker/build-pb
@@ -16,6 +16,7 @@ usage () {
 	echo "  -d --dry-run            - Do not run docker commands." >&2
 	echo "  -h --help               - Show this help and exit." >&2
 	echo "  -i --interactive        - Run an interactive pb-builder container." >&2
+	echo "  -m --make-command       - Set a specific command to be called for 'make'.">&2
 	echo "  -o --configure-opts     - Extra arguments for configure." >&2
 	echo "  -t --tag                - Print Docker tag to stdout and exit." >&2
 	echo "  -v --verbose            - Verbose execution." >&2
@@ -23,13 +24,14 @@ usage () {
 	echo "  DOCKER_TAG              - Default: '${DOCKER_TAG}'" >&2
 	echo "  CFLAGS                  - Default: '${CFLAGS}'" >&2
 	echo "  LDFLAGS                 - Default: '${LDFLAGS}'" >&2
+	echo "  CC                      - Default: '${CC}'" >&2
 	echo "Examples:" >&2
 	echo "  ${name} -vc"
 	echo "  ${name} -v"
 }
 
-short_opts="cdhio:tv"
-long_opts="check,dry-run,help,interactive,configure-opts:,tag,verbose"
+short_opts="cdhim:o:tv"
+long_opts="check,dry-run,help,interactive,make-command:,configure-opts:,tag,verbose"
 
 opts=$(getopt --options ${short_opts} --long ${long_opts} -n "${name}" -- "$@")
 
@@ -58,6 +60,11 @@ while true ; do
 		interactive=1
 		shift
 		;;
+	-m | --make-command)
+		shift
+		makecmd=${1}
+		shift
+		;;
 	-o | --configure-opts)
 		shift
 		configure_opts=${1}
@@ -120,10 +127,14 @@ else
 	docker_extra="true"
 fi
 
-flags="CFLAGS=${CFLAGS} LDFLAGS=${LDFLAGS}"
+if [[ -z "${makecmd}" ]]; then
+	makecmd="make"
+fi
+
+flags="CFLAGS=${CFLAGS} LDFLAGS=${LDFLAGS} CC=${CC}"
 
 cd "${TOP_DIR}"
 docker_args="${docker_base_args} ${docker_user_args}"
 run_cmd "docker run ${docker_args} ${DOCKER_TAG} /bin/bash \
 	-e ${bash_debug} \
-	-c './bootstrap && ${flags} ./configure ${configure_opts[@]} && make && ${docker_extra}'"
+	-c './bootstrap && ${flags} ./configure ${configure_opts[@]} && ${makecmd} && ${docker_extra}'"