2012-08-13 17:49:53 +04:00
|
|
|
add_custom_target(check ALL COMMAND check
|
2012-09-11 21:53:38 +04:00
|
|
|
$<OR>
|
2012-08-13 17:49:53 +04:00
|
|
|
$<OR:>
|
|
|
|
$<OR:,>
|
2012-09-11 21:53:38 +04:00
|
|
|
$<OR:01>
|
|
|
|
$<OR:nothing>
|
2012-10-20 16:14:20 +04:00
|
|
|
$<OR:0,nothing>
|
2012-08-13 17:49:53 +04:00
|
|
|
VERBATIM)
|