diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-08-06 09:57:47 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-08-06 09:57:47 -0400 |
| commit | c657cb4f944860006a437d3cfd9940032e999913 (patch) | |
| tree | cf3922c7f6916c9b08f11a358aee2a46824e355b /src | |
| parent | 935d293383bbadde9d8c3adaa2081e14a885472b (diff) | |
Change 'make test' to work before 'make install'
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions