Fixes for ticket:35, allowing use of BSD make instead of GNU make.
[debian/gnuradio] / dtools /
drwxr-xr-x   ..
-rw-r--r-- 17983 COPYING
-rw-r--r-- 999 README
drwxr-xr-x - bin
drwxr-xr-x - python