diff options
| author | jcorgan <jcorgan@221aa14e-8319-0410-a670-987f0aec2ac5> | 2007-09-02 21:20:24 +0000 |
|---|---|---|
| committer | jcorgan <jcorgan@221aa14e-8319-0410-a670-987f0aec2ac5> | 2007-09-02 21:20:24 +0000 |
| commit | 8af32097a1ebd90ca344e0e96616fd3be7a00af6 (patch) | |
| tree | c7cd1559dd2819550bd204bed99609c98e1a757e /dtools | |
| parent | 415910cb8d48e33edf3289e2ba7b4a7b7f352cdd (diff) | |
Merged r6224:6268 from features/deb into trunk. Implements most of a Debian package generation system. EXPERIMENTAL.
git-svn-id: http://gnuradio.org/svn/gnuradio/trunk@6269 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 c4936053c7..d1520af052 100755 --- a/dtools/bin/extract_install_filenames +++ b/dtools/bin/extract_install_filenames @@ -70,9 +70,9 @@ def main(): (head, tail) = os.path.split(makefile_name) if head: # cd to directory that contained the original Makefile - cmd = 'cd %s; make -f %s extract_install_filenames' % (head, tmp_name) + cmd = 'cd %s; make -s -f %s extract_install_filenames' % (head, tmp_name) else: - cmd = 'make -f %s extract_install_filenames' % (tmp_name,) + cmd = 'make -s -f %s extract_install_filenames' % (tmp_name,) #print "cmd =", cmd make = os.popen(cmd, 'r') |