From f8488683cd25d4bc8baee0a7525efd4c7d32411d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jindra=20Pet=C5=99=C3=ADk?= <jindra.petrik@gmail.com>
Date: Wed, 21 Dec 2022 17:02:20 +0100
Subject: [PATCH] Profiled program takes parameters from config file

---
 nbproject/ide-targets.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/nbproject/ide-targets.xml b/nbproject/ide-targets.xml
index 1c6edd129..8e83ca4f1 100644
--- a/nbproject/ide-targets.xml
+++ b/nbproject/ide-targets.xml
@@ -28,6 +28,7 @@
                     <fileset dir="${lib.dir}" includes="**/*.jar"/>
                 </classpath>
                 <jvmarg line="${agent.jvmargs}" />
+                <arg line="${run.params}" />
             </java>
     </target>
 </project>