From 7969a80f6f3e223d1b7f255a7bce33304c0831c3 Mon Sep 17 00:00:00 2001 From: Tegan Brennan Date: Tue, 8 Sep 2020 07:51:31 -0700 Subject: [PATCH 1/3] Increase clone depth for aws-c-common in Makefile.common to 100 --- .cbmc-batch/jobs/Makefile.common | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.cbmc-batch/jobs/Makefile.common b/.cbmc-batch/jobs/Makefile.common index ccb031948..98d4b307d 100644 --- a/.cbmc-batch/jobs/Makefile.common +++ b/.cbmc-batch/jobs/Makefile.common @@ -149,7 +149,7 @@ common-git: @if [ ! -d $(COMMONDIR) ] ;\ then \ cd $(BASEDIR); \ - git clone --quiet --depth 30 https://github.com/awslabs/aws-c-common.git $(COMMON_REPO_NAME); \ + git clone --quiet --depth 100 https://github.com/awslabs/aws-c-common.git $(COMMON_REPO_NAME); \ cd $(COMMON_REPO_NAME); \ git reset --hard dd600468fbd25c6f31828010c28056c4d5c3ab35; \ cd $(BASEDIR); \ From 3371f224e8e17d53fce4605e8932c7420b1d7a03 Mon Sep 17 00:00:00 2001 From: Tegan Brennan Date: Tue, 8 Sep 2020 08:42:21 -0700 Subject: [PATCH 2/3] Empty commit to run tests From 9fc01ba458e6b3a70254562a243f797f0ac4edde Mon Sep 17 00:00:00 2001 From: Tegan Brennan Date: Tue, 8 Sep 2020 10:20:26 -0700 Subject: [PATCH 3/3] Removed finite depth from clone of aws-c-common --- .cbmc-batch/jobs/Makefile.common | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.cbmc-batch/jobs/Makefile.common b/.cbmc-batch/jobs/Makefile.common index 5a641a562..67447d480 100644 --- a/.cbmc-batch/jobs/Makefile.common +++ b/.cbmc-batch/jobs/Makefile.common @@ -149,7 +149,7 @@ common-git: @if [ ! -d $(COMMONDIR) ] ;\ then \ cd $(BASEDIR); \ - git clone --quiet --depth 100 https://github.com/awslabs/aws-c-common.git $(COMMON_REPO_NAME); \ + git clone --quiet https://github.com/awslabs/aws-c-common.git $(COMMON_REPO_NAME); \ cd $(COMMON_REPO_NAME); \ git reset --hard dd600468fbd25c6f31828010c28056c4d5c3ab35; \ cd $(BASEDIR); \