diff options
| -rwxr-xr-x | bin/dirmods | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/bin/dirmods b/bin/dirmods index 52d935a5a..a6d4de3be 100755 --- a/bin/dirmods +++ b/bin/dirmods @@ -35,6 +35,14 @@ def main(): args = parser.parse_args() d = os.path.normpath(args.path) + # Fix absolute path to be relative to build top + if os.path.isabs(d): + base = os.environ.get('ANDROID_BUILD_TOP') + if base: + base = os.path.normpath(base) + os.path.sep + if d.startswith(base): + d = d[len(base):] + prefix = d + '/' module_info = modinfo.ReadModuleInfo() |