gnuradio/gnuradio — pull request #146 by mbr0wn (2014-02-12 16:41:45+00:00)
Title: modtool: added skipping of lib/ and swig/ if sources list is empty

Reviewed and slightly modified by me.