Merged r11045:11059 from jcorgan/deb into trunk. Updates on Ubuntu binary packaging...

[debian/gnuradio] / dtools / bin / extract_install_filenames

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