diff options
-rwxr-xr-x | MAKEALL | 10 |
1 files changed, 7 insertions, 3 deletions
@@ -19,6 +19,7 @@ usage() -l, --list List all targets to be built -m, --maintainers List all targets and maintainer email -M, --mails List all targets and all affilated emails + -C, --check Enable build checking -h, --help This help output Selections by these options are logically ANDed; if the same option @@ -51,8 +52,8 @@ usage() exit ${ret} } -SHORT_OPTS="ha:c:v:s:lmM" -LONG_OPTS="help,arch:,cpu:,vendor:,soc:,list,maintainers,mails" +SHORT_OPTS="ha:c:v:s:lmMC" +LONG_OPTS="help,arch:,cpu:,vendor:,soc:,list,maintainers,mails,check" # Option processing based on util-linux-2.13/getopt-parse.bash @@ -111,6 +112,9 @@ while true ; do fi SELECTED='y' shift 2 ;; + -C|--check) + CHECK='C=1' + shift ;; -l|--list) ONLY_LIST='y' shift ;; @@ -627,7 +631,7 @@ build_target() { ${MAKE} distclean >/dev/null ${MAKE} -s ${target}_config - ${MAKE} ${JOBS} all \ + ${MAKE} ${JOBS} ${CHECK} all \ >${LOG_DIR}/$target.MAKELOG 2> ${LOG_DIR}/$target.ERR # Check for 'make' errors |