diff options
| author | Erich Eckner <git@eckner.net> | 2019-07-16 11:52:51 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-08-18 21:11:14 +0200 |
| commit | 942fb927492ecf7b9ff97a9cc0724240f293ea8c (patch) | |
| tree | a7dbcab83f55cd293063468e8cffd99a0407584e /Makefile | |
| parent | 55e302cd16b9fc442f92765849b53663dcb172ea (diff) | |
| download | devtools32-942fb927492ecf7b9ff97a9cc0724240f293ea8c.tar.xz | |
mangle "armv6h" -> "armv6l"
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions