Juan RP 86c6215603 chroot-make: add some patches from Arch and Fedora.		2012-09-14 08:37:57 +02:00
..
make-3.82-bug30612.patch	…
make-3.82-bug30723.patch	…
make-3.82-dont-prune-intermediate.patch	…
make-3.82-expensive_glob.patch	…
make-3.82-makeflags.patch	…
make-3.82-sort-blank.patch	…