From 6ffc73a1e1ab94b249e3b4e0680e68fa6af482d6 Mon Sep 17 00:00:00 2001
From: Georg Brandl <g.brandl@fz-juelich.de>
Date: Thu, 20 Oct 2022 14:03:59 +0200
Subject: [PATCH] Makefile: fix Jenkins host

Change-Id: I1ae3c27d0839b8dffde4cf9da5a13fa00f88a9d3
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 3148ea2..cd2fb08 100644
--- a/Makefile
+++ b/Makefile
@@ -55,7 +55,7 @@ release-major:
 	MODE="major" $(MAKE) release
 
 release:
-	ssh jenkinsng.admin.frm2 -p 29417 build -v -s -p GERRIT_PROJECT=$(shell git config --get remote.origin.url | rev | cut -d '/' -f -3 | rev) -p ARCH=all -p MODE=$(MODE) ReleasePipeline
+	ssh jenkins.admin.frm2.tum.de -p 29417 build -v -s -p GERRIT_PROJECT=$(shell git config --get remote.origin.url | rev | cut -d '/' -f -3 | rev) -p ARCH=all -p MODE=$(MODE) ReleasePipeline
 
 
 build-pkg: