From 80c18a6e63701c46bf1772159d834aa286762200 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.

(cherry picked from commit 57b4f2e8f33c959c3de3a1362ef2abbcba88083c)
---
 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