buildman: Permit branch names with an embedded '/'

[karo-tx-uboot.git] / MAKEALL

diff --git a/MAKEALL b/MAKEALL
index 929fe884c54d73b2f7ca2badb807c75fca9d42fc..7c16319b80bd139ad7cb82dd08f9d15283794260 100755 (executable)
--- a/MAKEALL
+++ b/MAKEALL
@@ -171,13 +171,10 @@ GNU_MAKE=$(scripts/show-gnu-make) || {
 # 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"
@@ -658,7 +655,7 @@ build_target() {
                MAKE="${MAKE} O=${output_dir}"
        fi
 
-       ${MAKE} distclean >/dev/null
+       ${MAKE} mrproper >/dev/null
 
        echo "Building ${target} board..."
        ${MAKE} -s ${target}_defconfig >/dev/null