summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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"