diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-11-23 22:43:40 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-11-23 22:45:21 +0100 |
| commit | fed36328129def5f10b1d1f3e4ea8886916fd22a (patch) | |
| tree | d6597a9f388da71e958f3d4f4bd593fac09602ce /.gitignore | |
| parent | fde60bfb84dbfab7668cacd4a0d206d77affc789 (diff) | |
| download | guix-patches-fed36328129def5f10b1d1f3e4ea8886916fd22a.tar guix-patches-fed36328129def5f10b1d1f3e4ea8886916fd22a.tar.gz | |
compile: Adjust for Guile 2.9.5.
* guix/build/compile.scm (optimizations-for-level): New procedure.
Include '%lightweight-optimizations' and '%default-optimizations'.
(optimization-options): Use 'optimizations-for-level'.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions