From 2672e93dd201aae66351a1b2e66c74982dc6509a Mon Sep 17 00:00:00 2001
From: Martin Lippert <mlippert@pivotal.io>
Date: Thu, 14 Nov 2019 11:37:01 +0100
Subject: [PATCH] hardened runtime signing option added

---
 .../org.springframework.boot.ide.product.e413/pom.xml            | 1 +
 1 file changed, 1 insertion(+)

diff --git a/eclipse-distribution/org.springframework.boot.ide.product.e413/pom.xml b/eclipse-distribution/org.springframework.boot.ide.product.e413/pom.xml
index 92857d559..6530c6489 100644
--- a/eclipse-distribution/org.springframework.boot.ide.product.e413/pom.xml
+++ b/eclipse-distribution/org.springframework.boot.ide.product.e413/pom.xml
@@ -148,6 +148,7 @@
 									<arg value="--force"/>
 									<arg value="--entitlements"/>
 									<arg value="${project.build.directory}/../entitlements.plist"/>
+									<arg value="--options=runtime"/>
 								    <arg value="--keychain"/>
 								    <arg value="${env.KEYCHAIN}"/>
 								    <arg value="-s"/>