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 | f30aebaed989fbb42859e303d5e31a2c9afeb9fd (patch) | |
tree | cf3922c7f6916c9b08f11a358aee2a46824e355b /doc | |
parent | 5fb4f6c39c6ced6da3fd4740fa276bbba35e28d4 (diff) |
Change 'make test' to work before 'make install'
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions