diff options
author | Ludovic Courtès <ludo@gnu.org> | 2016-11-03 15:44:49 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2016-11-03 15:44:49 +0100 |
commit | 6cb02e6e005f5759dcb9a5106e7da09009f65790 (patch) | |
tree | 835deed637d3a6018c3cd3e28b0d7dbb9f5552af /doc | |
parent | 5d68e9d6204333e7ce9d43645a7a49f0dca23270 (diff) | |
download | patches-6cb02e6e005f5759dcb9a5106e7da09009f65790.tar patches-6cb02e6e005f5759dcb9a5106e7da09009f65790.tar.gz |
tests: 'make check-system' prints the "build trace".
* build-aux/run-system-tests.scm (run-system-tests): Pass
#:print-build-trace to 'set-build-options*'.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions