build system: use $(filter ...) to test MAKECMDGOALS
authorDavid Bremner <bremner@debian.org>
Fri, 18 Nov 2011 02:26:24 +0000 (22:26 -0400)
committerDavid Bremner <bremner@debian.org>
Sat, 19 Nov 2011 14:09:04 +0000 (10:09 -0400)
commit6a9711b1fbf418a873c2d2a8fcefd83f556f50b7
tree67d63f9dc5fef61a728de1181fd054ca0f6ac6a8
parent6237f3808cf8552f3c59939549cd4e9d85785ac1
build system: use $(filter ...) to test MAKECMDGOALS

This makes the test easier to extend to more targets. It also corrects
a bug where "special" targets were only detected when given alone.
Makefile.local