add_custom_target(check ALL COMMAND check $ $ "$" VERBATIM)