diff options
Diffstat (limited to 'dtools')
| -rwxr-xr-x | dtools/bin/extract_install_filenames | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/dtools/bin/extract_install_filenames b/dtools/bin/extract_install_filenames index d1520af05..70465b44d 100755 --- a/dtools/bin/extract_install_filenames +++ b/dtools/bin/extract_install_filenames @@ -54,7 +54,11 @@ def main(): if suffix.upper() != suffix: raise SystemExit, "AM-variable-name is malformed. Expected something like grgrpython_PYTHON" - dirname = prefix + "dir" + if prefix[:5] == "dist_": + dirname = prefix[5:] + "dir" + else: + dirname = prefix + "dir" + #print "dirname =", dirname tail = make_makefile_tail(dirname, full_var_name) |