Fix save-kernel param.
authorMarko Saukko <marko.saukko@cybercom.com>
Thu, 19 Jan 2012 08:35:57 +0000 (10:35 +0200)
committerMarko Saukko <marko.saukko@cybercom.com>
Thu, 19 Jan 2012 08:35:57 +0000 (10:35 +0200)
commit801405ac5a8bed14c24bc593ff6ae031bbe3d282
tree8e19bf03ed5244590446c347599c073d50b5c034
parentba586790ac63802d107ba9f5484bcf26a3ee333b
Fix save-kernel param.
builder.py