Merged r6224:6268 from features/deb into trunk. Implements most of a Debian package...

[debian/gnuradio] / dtools / bin / extract_install_filenames

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