summaryrefslogtreecommitdiff
path: root/script
diff options
context:
space:
mode:
authorLeah Rowe <leah@libreboot.org>2024-06-09 15:57:53 +0100
committerLeah Rowe <leah@libreboot.org>2024-06-09 15:58:09 +0100
commitd33556c6ae548415a274c0a10bb122535c2fad9a (patch)
tree8200edd6c8e78ed20272f1adf5d74ae1eec3f5ac /script
parent1799a33663fdfc28577dca3afccad26eefd829e3 (diff)
trees: exit with error if project undefined
i was originally looser about this, because i also wanted the trees script to generically run "make" from any directory, but this behaviour was error-prone and it is no longer used in the build system. disable it, in the interest of stability. Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'script')
-rwxr-xr-xscript/trees3
1 files changed, 3 insertions, 0 deletions
diff --git a/script/trees b/script/trees
index dc8b7988..68d4f94b 100755
--- a/script/trees
+++ b/script/trees
@@ -34,6 +34,9 @@ main()
done
[ -z "$_f" ] && $err "missing flag (-m/-u/-b/-c/-x/-f/-s/-l/-n)"
[ -z "$project" ] && $err "project name not specified"
+
+ [ -f "config/git/$project" ] || $err "project '$project' not defined"
+
elfdir="elf/$project"
datadir="config/data/$project"
cfgsdir="config/$project"