diff options
| author | jcorgan <jcorgan@221aa14e-8319-0410-a670-987f0aec2ac5> | 2009-05-20 15:35:55 +0000 |
|---|---|---|
| committer | jcorgan <jcorgan@221aa14e-8319-0410-a670-987f0aec2ac5> | 2009-05-20 15:35:55 +0000 |
| commit | d61290df87a1894d735de7a5734cefd24869d12f (patch) | |
| tree | da45a6ac000a8e4ed3171a544227ed0dc555c19f /dtools | |
| parent | d4dd7b8a5e52212e472ae9a342fb46b47ec17b91 (diff) | |
Merged r11045:11059 from jcorgan/deb into trunk. Updates on Ubuntu binary packaging; also fixes missing files in digital example directory.
git-svn-id: http://gnuradio.org/svn/gnuradio/trunk@11072 221aa14e-8319-0410-a670-987f0aec2ac5
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 d1520af052..70465b44d6 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) |