Add empty ci_after_success target for Jenkins

Jenkins uses templates to define all jobs which means they need to have the same make targets even if the targets don't do anything.
2018-11-30 11:11:32 +02:00 · 2018-11-30 11:11:32 +02:00 · 57b4f2e8f3
parent 4b4f4bd0e0
commit 57b4f2e8f3
1 changed files with 4 additions and 0 deletions
--- a/4
+++ b/4
@ -106,4 +106,8 @@ docs-in-docker:

 ci: check test

+.PHONY: ci_after_success
+ci_after_success:
+# nothing to do here, but Jenkins expects this to be present, otherwise fails
+
 .PHONY: docs