Skip to content

Commit

Permalink
Remove starter-kit and Litani submodules
Browse files Browse the repository at this point in the history
  • Loading branch information
angelonakos authored and paulbartell committed Jul 14, 2022
1 parent befa256 commit 95a59ec
Show file tree
Hide file tree
Showing 4 changed files with 1 addition and 11 deletions.
8 changes: 0 additions & 8 deletions .gitmodules
Original file line number Diff line number Diff line change
Expand Up @@ -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
1 change: 0 additions & 1 deletion test/cbmc/aws-templates-for-cbmc-proofs
Submodule aws-templates-for-cbmc-proofs deleted from fdbf54
1 change: 0 additions & 1 deletion test/cbmc/litani
Submodule litani deleted from 8b4a4f
2 changes: 1 addition & 1 deletion test/cbmc/proofs/Makefile-project-defines
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@
COMPILE_FLAGS += -fPIC
COMPILE_FLAGS += -std=gnu90

LITANI = $(SRCDIR)/test/cbmc/litani/litani
LITANI ?= litani
PROJECT_NAME = "FreeRTOS coreShadow"

# Flags to pass to goto-cc for linking (typically those passed to gcc)
Expand Down

0 comments on commit 95a59ec

Please sign in to comment.