diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-11-07 15:09:49 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-11-07 15:35:07 +0100 |
| commit | 47ddb1091f3a1fa59e4fdacf3132282cdc0dbb3a (patch) | |
| tree | 1ae094537e26250da4f5f475e70e08a814a2543a /gnu/packages/lean.scm | |
| parent | d0f41f91409810c7394e4739a50f56484914f195 (diff) | |
| download | guix-47ddb1091f3a1fa59e4fdacf3132282cdc0dbb3a.tar.gz | |
gnu: f3: Fix cross-compilation.
* gnu/packages/disk.scm (f3)[arguments]: Use CC-FOR-TARGET.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions