diff --git a/scripts/projects.py b/scripts/projects.py index 5771b37d..e77a5015 100644 --- a/scripts/projects.py +++ b/scripts/projects.py @@ -42,7 +42,7 @@ def remove_duplicates(seq): return [x for x in seq if not (x in seen or seen_add(x))] def get_os(args = ""): - for d in [ projs_root + 'ytools/devutil/scripts', '/opt/ytools/bin' ]: + for d in [ projs_root + '/ytools/devutil/scripts', '/opt/ytools/bin' ]: script = d + '/get_os.sh' if isfile(script): cmd = '/bin/bash ' + script