From 655d766fe364e76022d4358e5be1b87f46547bec Mon Sep 17 00:00:00 2001
From: Sebastien Dinot <sebastien.dinot@csgroup.eu>
Date: Mon, 30 Oct 2023 11:16:14 +0100
Subject: [PATCH] Fix #1250

https://gitlab.orekit.org/orekit/orekit/-/issues/1250
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 4936424f97..fc85b0bc17 100644
--- a/pom.xml
+++ b/pom.xml
@@ -1101,7 +1101,7 @@
             <configuration>
               <!-- Orekit is mostly a computational library. -->
               <!-- As there is not a lot of I/O it is better to not overide the number of CPU. -->
-              <forkCount>1C</forkCount>
+              <forkCount>0.5C</forkCount>
               <argLine>@{argLine} -Xmx2048m</argLine>
             </configuration>
           </plugin>
-- 
GitLab