Skip to content

Update Makefile.common as part of attempt to fix S3 sync issues #594

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 5 commits into from
Sep 8, 2020
Merged

Update Makefile.common as part of attempt to fix S3 sync issues #594

Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
7969a80
Increase clone depth for aws-c-common in Makefile.common to 100
tegansb Sep 8, 2020
5715824
Merge branch 'master' into makefile_update_test
tegansb Sep 8, 2020
3371f22
Empty commit to run tests
tegansb Sep 8, 2020
4d4f18d
Merge branch 'makefile_update_test' of https://github.com/tegansb/aws…
tegansb Sep 8, 2020
9fc01ba
Removed finite depth from clone of aws-c-common
tegansb Sep 8, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .cbmc-batch/jobs/Makefile.common
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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 https://github.com/awslabs/aws-c-common.git $(COMMON_REPO_NAME); \
cd $(COMMON_REPO_NAME); \
git reset --hard dd600468fbd25c6f31828010c28056c4d5c3ab35; \
cd $(BASEDIR); \
Expand Down