From 65f4a91f9b9158121b4f8b7a82c2316fd1abf803 Mon Sep 17 00:00:00 2001
From: Benjamin Wang <benjamin.ahrtr@gmail.com>
Date: Tue, 9 Jul 2024 07:23:05 +0100
Subject: [PATCH] Merge pull request #18284 from
 thedtripp/check-tools-mod-in-verify-deps

[3.5] make: Include tools/mod when checking dependency versions