# echo "Remaining arguments:"
# for arg do echo '--> '"\`$arg'" ; done
-if [ ! -r boards.cfg ]; then
- echo "Could not find boards.cfg"
- tools/genboardscfg.py || {
- echo "Failed to generate boards.cfg" >&2
- exit 1
- }
-fi
+tools/genboardscfg.py || {
+ echo "Failed to generate boards.cfg" >&2
+ exit 1
+}
FILTER="\$1 !~ /^#/"
[ "$opt_a" ] && FILTER="${FILTER} && $opt_a"
MAKE="${MAKE} O=${output_dir}"
fi
- ${MAKE} distclean >/dev/null
+ ${MAKE} mrproper >/dev/null
echo "Building ${target} board..."
${MAKE} -s ${target}_defconfig >/dev/null