diff options
| author | Simon South <simon@simonsouth.net> | 2020-12-14 13:06:47 -0500 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-12-21 17:47:36 +0100 |
| commit | c369a9078795ed04127bae6946be975530b1df10 (patch) | |
| tree | 5a403b7f2751a8f3bad1b9ef01ae7e42c3db27ee /ChangeLog | |
| parent | 20ba86567ad6ff9d7d3c8ae9f3510ab984d31df3 (diff) | |
gnu: sdcc: Correct name of phase.
* gnu/packages/embedded.scm [arguments]<#:phases>: Rename "patch-makefile"
phase to "patch-makefiles".
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions