Remove starter-kit and Litani submodules

FreeRTOS · Jul 15, 2022 · ac8a4ed · ac8a4ed
1 parent dc45d0c
commit ac8a4ed
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 11 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -2,11 +2,3 @@
 	path = test/unit-test/CMock
 	url = https://github.com/ThrowTheSwitch/CMock
 	update = none
-[submodule "test/cbmc/aws-templates-for-cbmc-proofs"]
-	path = test/cbmc/aws-templates-for-cbmc-proofs
-	url = https://github.com/awslabs/aws-templates-for-cbmc-proofs.git
-	update = none
-[submodule "test/cbmc/litani"]
-	path = test/cbmc/litani
-	url = https://github.com/awslabs/aws-build-accumulator
-	update = none
diff --git a/test/cbmc/aws-templates-for-cbmc-proofs b/test/cbmc/aws-templates-for-cbmc-proofs
diff --git a/test/cbmc/litani b/test/cbmc/litani
diff --git a/test/cbmc/proofs/Makefile-project-defines b/test/cbmc/proofs/Makefile-project-defines
@@ -15,7 +15,7 @@ COMPILE_FLAGS += -fPIC
 COMPILE_FLAGS += -std=gnu90
 
 # Path to litani executable, used for running proofs and displaying report
-LITANI ?= $(SRCDIR)/test/cbmc/litani/litani
+LITANI ?= litani
 PROJECT_NAME = "FreeRTOS coreMQTT"