-
Committer:
Guilherme Salgado
-
Date:
2012-01-25 11:52:33 UTC
-
mfrom:
(485.2.1 fix-913819)
-
Revision ID:
guilherme.salgado@linaro.org-20120125115233-37v7qjzdnnnj2o69
Make sure the new --extra-boot-args argument works when the extra_boot_args_options attribute of the board config is set to None