diff options
| author | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2011-10-02 21:20:15 +0200 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2011-10-09 21:36:22 +0200 |
| commit | 3a7149347c6290e1ab7045dd4f70e06d9426b716 (patch) | |
| tree | cf69f1fc6c549ae643001add5444b6f5b1d17f22 /package/grep/Config.in | |
| parent | 1459fc24c58edb589c4baf99c88b53af3b558f52 (diff) | |
ext-toolchain: Take into account Mentor Graphics acquisition of CodeSoucery
Now that CodeSourcery has been bought by Mentor Graphics, the
toolchains are named "Sourcery CodeBench". We rename the config short
description and adjust the help text, but we keep the option name in
order not to break existing configurations.
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Acked-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'package/grep/Config.in')
0 files changed, 0 insertions, 0 deletions