diff options
author | Javier Jardón <javier.jardon@codethink.co.uk> | 2015-04-15 00:22:43 +0100 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2015-04-28 14:24:32 +0100 |
commit | 52f34116e4517bdbdc3d6c480235fe31ca88ed3e (patch) | |
tree | 8da6212a3cdbd39847be1f2b42518e6c3baab6b5 /systems | |
parent | 68009f226fa25c6f158005680f4abcd19481dab4 (diff) | |
download | definitions-52f34116e4517bdbdc3d6c480235fe31ca88ed3e.tar.gz |
stage2-gcc: set correct host/target for GMP for armv5
Change-Id: Icb223438e2ed7bc54e8d1ea7573594418ebe0445
Diffstat (limited to 'systems')
0 files changed, 0 insertions, 0 deletions