On Oct 21, 2012, at 2:12 PM, Adam Osuchowski wrote:

> 
> IMHO, first method is more elegant but is more difficult and it's not
> worth it.

Ripping out functionality is hardly less difficult.

Yes: you need to rebuild packages affected with rpmbuild +PATCH.

The symptom -- -Va false positives for ^config -- isn't critically importamt, 
show stopping,
 dysfunctionality.

But you can do whatever you wish, and have whatever POV or opinion. *shrug*

Thanks for finding the b00gered check-in.

73 de Jeff
_______________________________________________
pld-devel-en mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-devel-en

Reply via email to