diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-11 13:42:46 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-11 13:42:46 (GMT) |
commit | a6cf0d510093d84aa837525fe7ddef9f97c01fbe (patch) | |
tree | b7a45f22f2630c68ae9ebbe2738da3548fd7cc19 /Makefile | |
parent | ddaf95ccceea5e93d8ad3c1b209c527c3aa7fb5d (diff) |
Allow to specify a check name
It's useful for python checks for example, where the
check is more than just a name. Still use check if
check_name doesn't exist mostly to avoid a bunch of
changes to the json.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions