diff options
| author | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2010-04-10 22:14:39 +0200 |
|---|---|---|
| committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2010-04-11 05:59:59 +0200 |
| commit | 7a0263525fe723c2f4bb2d4e78eaf785137ebbdd (patch) | |
| tree | 734536e076dbfc1e140820e7d10ec711c2c8186f /configs | |
| parent | e7b72e11dc2fb7d15440dca32cff59869dc1c2c3 (diff) | |
Remove BR2_PREFER_IMA
This option is barely used, no-one is maintaining it or extending
it. So let's remove it.
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Diffstat (limited to 'configs')
0 files changed, 0 insertions, 0 deletions