Merged r11074:11077 from jcorgan/deb in to trunk. Ubuntu packaging for 3.2 done...

[debian/gnuradio] / dtools / bin / extract_install_filenames

diff --git a/dtools/bin/extract_install_filenames b/dtools/bin/extract_install_filenames
index 70465b44d6de1ae1af2bf842a3e60750fba009e2..8ffce9db1d191634a0456cda8f2fc147d878f729 100755 (executable)
--- 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()