diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2020-05-13 20:39:01 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2020-05-13 21:07:40 +0200 |
| commit | 7f6d3f395023ff430cf8b7a981d4780698e9d132 (patch) | |
| tree | 670533f104e47ce631dabdebad27aeedeb13ed8c /gnu/packages/shellutils.scm | |
| parent | fd96ae4a709c5509f2d78af3968d64fe805ad1ef (diff) | |
| download | patches-7f6d3f395023ff430cf8b7a981d4780698e9d132.tar patches-7f6d3f395023ff430cf8b7a981d4780698e9d132.tar.gz | |
gnu: gcc-arm-none-eabi: Fix conflicting GCC headers.
Fixes <https://bugs.gnu.org/41210>.
Reported by Ricardo Wurmus <rekado@elephly.net>.
* gnu/packages/embedded.scm (gcc-arm-none-eabi-4.9)[arguments]: Add phase to
remove the default compiler from CPLUS_INCLUDE_PATH.
[native-inputs]: Distinguish GCC-5.
Diffstat (limited to 'gnu/packages/shellutils.scm')
0 files changed, 0 insertions, 0 deletions