diff options
| author | Pavel Roskin <proski@gnu.org> | 2006-11-03 17:16:59 -0500 |
|---|---|---|
| committer | Josh Triplett <josh@freedesktop.org> | 2006-11-06 03:56:06 -0800 |
| commit | fe0e3aef4666a8ece04cb1a25d9611bf37dc7ace (patch) | |
| tree | 5f935955c1bdcaa7c84ac3bd01356160267b08db /FAQ | |
| parent | 89e5b02c6b360d7bd5f10c8edb979c5a7e57947c (diff) | |
| download | sparse-dev-fe0e3aef4666a8ece04cb1a25d9611bf37dc7ace.tar.gz | |
Compile sparse executable under it's own name, not as "check"
No need to confuse everyone. Besides, it allows to use "make check" for
some something meaningful in the future.
Signed-off-by: Pavel Roskin <proski@gnu.org>
Signed-off-by: Josh Triplett <josh@freedesktop.org>
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions