P.R.
Whining is just irratating no matter what age the child is. If ignoring the whining isn't doing any good you may try the following. He starts to whine tell him calmly he is whining and you just aren't going to listen to it, he just has to stop. If he doesn't stop he loses a privelage. If that doesn't help then he loses TV time, video game time, etc., if he doesn't whine for a day then he gets a special treat or reward.
Frankly I am raising a 10 year old who drives me nuts every morning because (and I have physically timed him) it takes him 3 1/2 minutes to put on 1 sock. Frankly it takes him 27 to 30 minutes to get dressed every morning. Drives me up the wall!!! And by the way this does not include combing his hair or brushing teeth!!! I start telling him to get up at 5:30 a.m. to catch a 7 a.m. bus!! You have my sympathy but you have to stop him from whining right now. He whines to get additional attention from everyone and it may be working. When he starts to whine everyone just needs to walk away from him and ignore him until he stops.