diff options
| -rwxr-xr-x | utils/get-developers | 6 | ||||
| -rw-r--r-- | utils/getdeveloperlib.py | 2 |
2 files changed, 6 insertions, 2 deletions
diff --git a/utils/get-developers b/utils/get-developers index ce882e6699..c887938859 100755 --- a/utils/get-developers +++ b/utils/get-developers @@ -24,7 +24,9 @@ def parse_args(): def __main__(): - devs = getdeveloperlib.parse_developers() + # DEVELOPERS is one level up from here + devs_dir = os.path.join(os.path.dirname(os.path.realpath(__file__)), '..') + devs = getdeveloperlib.parse_developers(devs_dir) if devs is None: sys.exit(1) args = parse_args() @@ -50,7 +52,7 @@ def __main__(): # Handle the check action if args.check: - files = getdeveloperlib.check_developers(devs) + files = getdeveloperlib.check_developers(devs, devs_dir) for f in files: print(f) diff --git a/utils/getdeveloperlib.py b/utils/getdeveloperlib.py index 2c8d477583..84665520c6 100644 --- a/utils/getdeveloperlib.py +++ b/utils/getdeveloperlib.py @@ -158,6 +158,8 @@ def parse_developers(basepath=None): linen = 0 if basepath is None: basepath = os.getcwd() + else: + basepath = os.path.abspath(basepath) with open(os.path.join(basepath, "DEVELOPERS"), "r") as f: files = [] name = None |
