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/gnulinux | |
| 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/gnulinux')
0 files changed, 0 insertions, 0 deletions