tree 4a1272a0ee489a8e7352aceaad19bca12cbc2d84
parent 9bc47db29c3767cb4aac492e1fd6f1c74e85ca5c
author Devananda van der Veen <devananda.vdv@gmail.com> 1357774143 -0800
committer Devananda van der Veen <devananda.vdv@gmail.com> 1357774143 -0800

Add EXTRA_BAREMETAL_OPTS to stack.sh

Allow the passing of extra options to the [baremetal] option group
by specifying EXTRA_BAREMETAL_OPTS, using the same format as the
existing flag EXTRA_OPTS.

Change-Id: I209675786c6a33a68d83a371292a1e1749ecb14c