diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-07-08 17:49:21 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-07-08 17:50:12 -0700 |
| commit | e6acb7e7a43ac64d83c410b9f83c13743b934d6f (patch) | |
| tree | fb2d5a0488c463ea58c46260346d61d49ef8c32a /Makefile | |
| parent | 7bd74a60747c2c49f5bd498707be5c4a3313842e (diff) | |
spec_tests.py: use stdout.out.buffer.write instead of print throughout.
Mixing them didn't work well; results were out of order.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions