summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xutil/abuild/abuild5
1 files changed, 5 insertions, 0 deletions
diff --git a/util/abuild/abuild b/util/abuild/abuild
index fbb801ec82..6c32cacead 100755
--- a/util/abuild/abuild
+++ b/util/abuild/abuild
@@ -590,6 +590,11 @@ if [ "$target" != "" ]; then
VENDOR=`printf $target|cut -f1 -d/`
MAINBOARD=`printf $target|cut -f2 -d/`
CONFIG=`printf $target|cut -f3 -d/`
+ if [ ! -r $ROOT/src/mainboard/$target ]; then
+ printf "No such target: $target\n"
+ xml '</abuild>'
+ exit 1
+ fi
build_target $VENDOR $MAINBOARD $CONFIG
test_target $VENDOR $MAINBOARD
else