diff --git a/scripts/projects.py b/scripts/projects.py index dfd6a05b..912fd2d4 100644 --- a/scripts/projects.py +++ b/scripts/projects.py @@ -28,6 +28,8 @@ def err(*objs): print("ERR: ", *objs, file=sys.stderr) def proj_dir(name): + if name == top_name: + return topdir return projs_root + '/' + name def re_section(name):