| commit | 77fd06a1d6aa3819bc898010cf0956ad32f77400 | [log] [tgz] |
|---|---|---|
| author | Fabio Estevam <festevam@gmail.com> | Mon Jun 04 09:48:25 2018 -0300 |
| committer | Thomas Petazzoni <thomas.petazzoni@bootlin.com> | Mon Jun 04 22:44:42 2018 +0200 |
| tree | b5bdc2c24bea859bb8bcbd245010c6889f421080 | |
| parent | f8d44394777fb9b45befaee3333d974dfe5e745d [diff] |
toolchain: add 4.17.x choice for headers Signed-off-by: Fabio Estevam <festevam@gmail.com> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>