Merge pull request #1354 from JackDanger/jack/easier-releases

Make releasing easier by making Makefile resilient
This commit is contained in:
Jack Danger 2017-12-22 09:43:36 -08:00 committed by GitHub
commit e6d0e28e73
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 580 additions and 12 deletions

File diff suppressed because it is too large Load Diff

View File

@ -43,7 +43,7 @@ publish: implementation_coverage \
implementation_coverage:
./scripts/implementation_coverage.py > IMPLEMENTATION_COVERAGE.md
git commit IMPLEMENTATION_COVERAGE.md -m "Updating implementation coverage"
git commit IMPLEMENTATION_COVERAGE.md -m "Updating implementation coverage" || true
scaffold:
@pip install -r requirements-dev.txt > /dev/null