xref: /openbmc/linux/tools/verification/dot2/Makefile (revision 801543b2)