xref: /openbmc/linux/tools/verification/dot2/Makefile (revision 5ae75a1a)