diff options
author | Karl Palsson <karlp@tweak.net.au> | 2019-06-08 00:25:46 +0300 |
---|---|---|
committer | Karl Palsson <karlp@tweak.net.au> | 2019-06-08 00:25:46 +0300 |
commit | 7be50a5e75ed2d163d38a6759347c5e778ac02ab (patch) | |
tree | d7801c87542dc08b063855c47f25ec984cc0f766 /doc | |
parent | 795fe21860fb0627b6b7216f62e75d0048465762 (diff) |
make: use $(PREFIX)gcc instead of $(PREFIX)-gcc
The leading - makes it rather inconsistent with the majority of other
projects around the world. Use the form everyone else uses.
To solve this, properly pass prefix to inner makes as was always
intended.
Fixes: https://github.com/libopencm3/libopencm3/issues/1058
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions