diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-01 20:36:23 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-01 20:36:23 +0000 |
| commit | ea6bc6f08632056132ecfc2cb9a22101516b219c (patch) | |
| tree | 84d47b86a86d466839ad76ea1f701ec60f4ce7ec /reproduce/analysis | |
| parent | bc860926afc0f5486d59f3f186847445bf6f314a (diff) | |
Minor corrections in `README-hacking.md' after verification
In the previous commit, I had forgot to update a small part in the
checklist (when modifying `top-make.mk') which is now corrected.
I also added a few sentences in the description of how to customize the
verification to make it easier to understand.
Diffstat (limited to 'reproduce/analysis')
0 files changed, 0 insertions, 0 deletions