Blob Blame History Raw
diff --git regression/CMakeLists.txt regression/CMakeLists.txt
index 42c772a..e9b8807 100644
--- regression/CMakeLists.txt
+++ regression/CMakeLists.txt
@@ -73,7 +73,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 b344727..a53ef45 100644
--- regression/Makefile
+++ regression/Makefile
@@ -48,7 +48,6 @@         validate-trace-xml-schema \
        cbmc-primitives \
        goto-interpreter \
        cbmc-sequentialization \
-       cpp-linter \
        # Empty last line
 
 ifeq ($(OS),Windows_NT)