xref: /linux-6.15/tools/verification/dot2/Makefile (revision 7e2450bb)