From 99c98cbb4f9a62bfca504e784ceb8ebf3f322edf Mon Sep 17 00:00:00 2001 From: Stephan Huber Date: Fri, 1 Jun 2018 12:30:42 +0200 Subject: [PATCH] update Makefile to work with changes made in implementation_coverage script --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 98840ba9b..f224d7091 100644 --- a/Makefile +++ b/Makefile @@ -41,7 +41,7 @@ publish: upload_pypi_artifact \ push_dockerhub_image implementation_coverage: - ./scripts/implementation_coverage.py > IMPLEMENTATION_COVERAGE.md + ./scripts/implementation_coverage.py git commit IMPLEMENTATION_COVERAGE.md -m "Updating implementation coverage" || true scaffold: