Patrik Stridvall ps@leissner.se writes:
The make_filter.diff patch is quite nice.
Try it after applying it with by running: make filter
I'm not sure about the portability of the wildcard rule. Why don't you have make_filter call make instead of the other way around? This would avoid the need for changing the makefiles at all.