diff options
| author | David Thompson <davet@gnu.org> | 2016-06-08 12:07:39 -0400 |
|---|---|---|
| committer | David Thompson <davet@gnu.org> | 2016-06-14 08:50:31 -0400 |
| commit | f828ff5b148e4e083001c25d2e9c3b52c0e87da3 (patch) | |
| tree | 9351bd7c1e5922ce2e28dd78cd2a0da97e1643e2 /.gitignore | |
| parent | 28206a8ebfad9f6cfa786d3cfd00ee1c1dfbbc65 (diff) | |
gnu: boost: Allow for customizable build flags.
* gnu/packages/boost.scm (boost)[arguments]: Extract build flags to #:make-flags argument.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions