diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-01-12 17:51:15 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-12 17:51:15 -0800 |
| commit | dde398ba0821be5342e1e6a685981f5c96551087 (patch) | |
| tree | ddbd18902b4dcf0d2b9eb28ec6bebdf3ee413191 /Makefile.old | |
| parent | e33d15991ce574b5986c7920bdfc12a04182a928 (diff) | |
For benchmarks, read file rather than piping from stdin.
Diffstat (limited to 'Makefile.old')
0 files changed, 0 insertions, 0 deletions