diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-08-13 17:12:31 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-08-13 17:12:31 -0700 |
| commit | 41e8b437da91e3b581e94fb89c765b038eebc302 (patch) | |
| tree | b8b55a738f47eb0e44ff413e92c87a281af97ea3 /makefile | |
| parent | b52bfca2a2b64cee5b17c5b53ce2f78c5591f4d9 (diff) | |
| download | mu-41e8b437da91e3b581e94fb89c765b038eebc302.tar.gz | |
3176
Don't print the header for 'Mu tests' if there are no Mu tests to run.
Diffstat (limited to 'makefile')
0 files changed, 0 insertions, 0 deletions