make maintainer-clean removes these, and we want a clean orig.tar.gz
[debian/gnuradio] / dtools / microblaze /
drwxr-xr-x   ..
-rw-r--r-- 2415 mb-gcc-4.1.1-gr-1.patch