diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-11-06 18:06:41 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-11-07 15:28:05 +0100 |
| commit | c5487cafabea43b8f1ed3ea5068a7463c15d813a (patch) | |
| tree | a0d3e17ab1b95405426e497c70d0ba1b672e6538 /bin | |
| parent | f9c1066916fa3f62d04347677b2239009a3cae4e (diff) | |
| download | cuirass-c5487cafabea43b8f1ed3ea5068a7463c15d813a.tar cuirass-c5487cafabea43b8f1ed3ea5068a7463c15d813a.tar.gz | |
base: Disable builder output.
* src/cuirass/base.scm (with-store): Pass #:build-verbosity to
'set-build-options'.
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions