diff options
author | P. J. McDermott <pj@pehjota.net> | 2015-02-19 20:54:51 (EST) |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2015-02-19 21:06:55 (EST) |
commit | 88521e3bf4e377d06dc9b2b9eb2e2bb1d9e0019e (patch) | |
tree | be37534aa3009877796e9507c7fbbc8cfc31d7d0 /docs/misc/index.html | |
parent | 2ebc06de90395e7aba20716c97eb855589653a5c (diff) | |
download | libreboot-88521e3bf4e377d06dc9b2b9eb2e2bb1d9e0019e.zip libreboot-88521e3bf4e377d06dc9b2b9eb2e2bb1d9e0019e.tar.gz libreboot-88521e3bf4e377d06dc9b2b9eb2e2bb1d9e0019e.tar.bz2 |
build: Support multiple extra options
Drop the $extraoption variable. Also change the argument count test to
something more portable.
Diffstat (limited to 'docs/misc/index.html')
0 files changed, 0 insertions, 0 deletions