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