From 57b4f2e8f33c959c3de3a1362ef2abbcba88083c Mon Sep 17 00:00:00 2001
From: Alexander Todorov <atodorov@redhat.com>
Date: Fri, 30 Nov 2018 11:11:32 +0200
Subject: [PATCH] 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.
---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile b/Makefile
index 59ff1ddd..cf9c3f61 100644
--- a/Makefile
+++ b/Makefile
@@ -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