diff options
| author | Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> | 2015-04-07 10:41:57 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> | 2015-04-08 09:29:38 +0200 |
| commit | de4b3828ca1d76254d5cd062f76be73e249561ca (patch) | |
| tree | 5b901cfac3a8ed6cecafa5d4ef9b617764ae24e7 /gnu/packages/patches/ots-no-include-missing-file.patch | |
| parent | 9e54e957f99cfdf93c5414ee2f63ecf1faa0c804 (diff) | |
gnu: julia: Pass MARCH make flag.
* gnu/packages/julia.scm (julia)[arguments]: Pass "MARCH" flag for supported
architectures.
Diffstat (limited to 'gnu/packages/patches/ots-no-include-missing-file.patch')
0 files changed, 0 insertions, 0 deletions