Skip to content

Conversation

@tegansb
Copy link
Contributor

@tegansb tegansb commented Sep 8, 2020

Description of changes:

Increases clone depth for aws-c-common in Makefile.common to 100 to see if insufficient clone depth was the problem.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.

Check any applicable:

  • Were any files moved? Moving files changes their URL, which breaks all hyperlinks to the files.

@feliperodri feliperodri added the cbmc CBMC proof related work label Sep 8, 2020
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); \
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I suggest removing --depth entirely, since this problem will just recur again in the future.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great, it's been removed!

@tegansb tegansb marked this pull request as ready for review September 8, 2020 19:29
@tegansb tegansb merged commit 6122176 into aws:master Sep 8, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cbmc CBMC proof related work

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants