diff --git regression/CMakeLists.txt regression/CMakeLists.txt
index 59d8a040..15b97b29 100644
--- regression/CMakeLists.txt
+++ regression/CMakeLists.txt
@@ -76,7 +76,6 @@ add_subdirectory(validate-trace-xml-schema)
add_subdirectory(cbmc-primitives)
add_subdirectory(goto-interpreter)
add_subdirectory(cbmc-sequentialization)
-add_subdirectory(cpp-linter)
if(WITH_MEMORY_ANALYZER)
add_subdirectory(snapshot-harness)
diff --git regression/Makefile regression/Makefile
index f12d575a..e6e840b2 100644
--- regression/Makefile
+++ regression/Makefile
@@ -50,7 +50,6 @@ DIRS = cbmc \
cbmc-primitives \
goto-interpreter \
cbmc-sequentialization \
- cpp-linter \
catch-framework \
# Empty last line