diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2017-06-21 22:45:40 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2017-06-21 22:47:39 +0200 |
| commit | bb19b2ebf3a6661e1c8eb22c70bc7759fe20e0db (patch) | |
| tree | ce260500e7ca8a97d0a65516cb69e9e5bcc6d473 /gnu/local.mk | |
| parent | c7d0444a68ae0961e82d2d2bf9a57bf897de913d (diff) | |
| download | patches-bb19b2ebf3a6661e1c8eb22c70bc7759fe20e0db.tar patches-bb19b2ebf3a6661e1c8eb22c70bc7759fe20e0db.tar.gz | |
gnu: propeller-gcc: Default to version 4.
* gnu/packages/embedded.scm (propeller-gcc): Rename this...
(propeller-gcc-6): ...to this.
(propeller-gcc-4): Inherit from propeller-gcc-6.
(propeller-gcc): New alias for propeller-gcc-4.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions