# check_tools is a helper makefile
# no config options at the moment