projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 107a5ec)
cmake: Removed obsolete CMakeLists file in test.
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 17 Aug 2018 18:12:57 +0000 (11:12 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Sat, 22 Sep 2018 23:30:59 +0000 (16:30 -0700)
test/CMakeLists.txt [deleted file] patch | blob | history

diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt
deleted file mode 100644 (file)
index 07c36b3..0000000
--- a/test/CMakeLists.txt
+++ /dev/null
@@ -1,4 +0,0 @@
-add_subdirectory(java)
-add_subdirectory(regress)
-add_subdirectory(system)
-add_subdirectory(unit)