Make bootstrap generation a bit quieter
commita564ed79669a9d1691a9ccc70c6b6b5b8f0c8a37
authorRobert Vollmert <rob@vllmrt.net>
Tue, 5 Apr 2022 12:30:54 +0000 (5 14:30 +0200)
committermergify-bot <noreply@mergify.com>
Wed, 6 Apr 2022 18:05:44 +0000 (6 18:05 +0000)
treedfe7eb4636176c55fa1f66dfbf384ffeb52c19d2
parent67236d4a0f1079f16cc9616aa214eee7d1b1d51a
Make bootstrap generation a bit quieter

- remove tee output
- disable debug logging in cabal-bootstrap-gen by default
Makefile
bootstrap/src/Main.hs