1 files changed, 4 insertions, 7 deletions
diff --git a/MAKEALL b/MAKEALL
index 392ea8d..7c16319 100755
--- 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"