diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-18 15:00:07 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-18 15:00:07 +0000 |
| commit | 13a188151374f7242b47fa8ab25562486b5c9631 (patch) | |
| tree | 25cf34e6a7214a83d13f3983696b171c47d8d426 /reproduce/src/bash/git-pre-commit | |
| parent | 824f5245e80a6b5641fb6b5ce64683fcbc577152 (diff) | |
Gzip compiles in verbose mode to be clear and help in debugs
While we were testing this pipeline on a Mac OS system, we found and
reported a problem in Gzip's build (bug #33689). However, since the Gzip
build is not verbose, it was necessary to run its `make' with
`V=1'. Generally, since almost all the programs are built in verbose mode
(where you can see the compilation commands), we have also set this flag in
any build to be clear and make it easier to spot bugs in the future.
Diffstat (limited to 'reproduce/src/bash/git-pre-commit')
0 files changed, 0 insertions, 0 deletions