diff options
| author | jcorgan <jcorgan@221aa14e-8319-0410-a670-987f0aec2ac5> | 2009-05-20 21:59:44 +0000 |
|---|---|---|
| committer | jcorgan <jcorgan@221aa14e-8319-0410-a670-987f0aec2ac5> | 2009-05-20 21:59:44 +0000 |
| commit | 8cb9f838e35b88b44ed2e0a4b779588ce26e4818 (patch) | |
| tree | 5779c058e94b8ac307259fd0837057b3f186964b /dtools | |
| parent | d61290df87a1894d735de7a5734cefd24869d12f (diff) | |
Merged r11074:11077 from jcorgan/deb in to trunk. Ubuntu packaging for 3.2 done, except for gr-msdd6000. Ready for testing.
git-svn-id: http://gnuradio.org/svn/gnuradio/trunk@11078 221aa14e-8319-0410-a670-987f0aec2ac5
Diffstat (limited to 'dtools')
| -rwxr-xr-x | dtools/bin/extract_install_filenames | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dtools/bin/extract_install_filenames b/dtools/bin/extract_install_filenames index 70465b44d6..8ffce9db1d 100755 --- a/dtools/bin/extract_install_filenames +++ b/dtools/bin/extract_install_filenames @@ -84,12 +84,12 @@ def main(): target_files = make.readline().rstrip() if target_dirname.startswith('/'): target_dirname = target_dirname[1:] - + #print "target_dirname =", target_dirname #print "target_files =", target_files for f in target_files.split(): - sys.stdout.write(os.path.join(target_dirname, f) + '\n') + sys.stdout.write(os.path.join(target_dirname, f.split('/')[-1]) + '\n') if __name__ == '__main__': main() |