diff options
| author | Neil Roza <neil@rtr.ai> | 2020-06-23 13:35:18 +0000 |
|---|---|---|
| committer | Matt Turner <mattst88@gmail.com> | 2020-06-24 10:32:21 -0700 |
| commit | 72ea519e3563df60fe81a9534e0b8b85bd63a37f (patch) | |
| tree | b17accda158f6bdfdb8ef4847cfd773bf8892411 /.gitignore | |
| parent | 62fddddbb35610e8d5f63fa1c832495fef4c540c (diff) | |
Remove usage of bash '&>' redirection
On systems where /bin/sh is dash, this would lead to empty *.expected
and *.results files and thus make check would always succeed.
Closes: #1
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions