diff options
| author | rsiddharth <rsd@gnu.org> | 2019-05-19 11:15:37 -0400 |
|---|---|---|
| committer | rsiddharth <rsd@gnu.org> | 2019-05-19 11:15:37 -0400 |
| commit | 91bfd6ccbcd0d6e80727683084a7c9c735742706 (patch) | |
| tree | a35a2e15923e9a59477dcfbb20503b45f82d18ed /.gitignore | |
| parent | c39effad8eeb1ea25455ca97793d1f621a0f8cce (diff) | |
Makefile: Update clean-build.
* Makefile (clean-build): Don't suppress command output.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions