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