diff --git a/Makefile b/Makefile
index 08ddb56e1..da6a00e4d 100644
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,11 @@ ifndef SRCDIR
 endif
 
 ifeq ($(SRCDIR),build)
-    matchcompiler_S := $(shell python tools/matchcompiler.py)
+    ifdef VERIFY
+        matchcompiler_S := $(shell python tools/matchcompiler.py --verify)
+    else
+        matchcompiler_S := $(shell python tools/matchcompiler.py)
+    endif
 endif
 
 # Set the CPPCHK_GLIBCXX_DEBUG flag. This flag is not used in release Makefiles.
diff --git a/tools/dmake.cpp b/tools/dmake.cpp
index ddb4b5e79..fe384f64e 100644
--- a/tools/dmake.cpp
+++ b/tools/dmake.cpp
@@ -234,7 +234,11 @@ int main(int argc, char **argv)
     fout << "# folder where lib/*.cpp files are located\n";
     makeConditionalVariable(fout, "SRCDIR", "lib");
     fout << "ifeq ($(SRCDIR),build)\n"
-         << "    matchcompiler_S := $(shell python tools/matchcompiler.py)\n"
+         << "    ifdef VERIFY\n"
+         << "        matchcompiler_S := $(shell python tools/matchcompiler.py --verify)\n"
+         << "    else\n"
+         << "        matchcompiler_S := $(shell python tools/matchcompiler.py)\n"
+         << "    endif\n"
          << "endif\n\n";
 
     // The _GLIBCXX_DEBUG doesn't work in cygwin or other Win32 systems.