diff options
author | Leah Rowe <leah@libreboot.org> | 2024-06-09 15:57:53 +0100 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2024-06-09 15:58:09 +0100 |
commit | d33556c6ae548415a274c0a10bb122535c2fad9a (patch) | |
tree | 8200edd6c8e78ed20272f1adf5d74ae1eec3f5ac /script | |
parent | 1799a33663fdfc28577dca3afccad26eefd829e3 (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-x | script/trees | 3 |
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" |