Blob Blame History Raw
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