From d33556c6ae548415a274c0a10bb122535c2fad9a Mon Sep 17 00:00:00 2001 From: Leah Rowe Date: Sun, 9 Jun 2024 15:57:53 +0100 Subject: 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 --- script/trees | 3 +++ 1 file changed, 3 insertions(+) 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" -- cgit v1.2.1