We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b53a5ad commit 6122176Copy full SHA for 6122176
.cbmc-batch/jobs/Makefile.common
@@ -149,7 +149,7 @@ common-git:
149
@if [ ! -d $(COMMONDIR) ] ;\
150
then \
151
cd $(BASEDIR); \
152
- git clone --quiet --depth 30 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); \
153
cd $(COMMON_REPO_NAME); \
154
git reset --hard dd600468fbd25c6f31828010c28056c4d5c3ab35; \
155
0 commit comments