diff --git a/src/main/jni/jre_launcher.c b/src/main/jni/jre_launcher.c index 5c3567d0..0cbc4bb4 100644 --- a/src/main/jni/jre_launcher.c +++ b/src/main/jni/jre_launcher.c @@ -111,9 +111,7 @@ typedef jint JLI_Launch_func(int argc, char ** argv, /* main argc, argc */ ); static jint launchJVM(int margc, char** margv) { - execv(margv[0], margv); - -/* + // execv(margv[0], margv); void* libjli = dlopen("/usr/lib/jvm/java-16-openjdk/lib/libjli.dylib", RTLD_LAZY | RTLD_GLOBAL); // Boardwalk: silence @@ -156,7 +154,6 @@ static jint launchJVM(int margc, char** margv) { *margv, // (const_launcher != NULL) ? const_launcher : *margv, (const_jargs != NULL) ? JNI_TRUE : JNI_FALSE, const_cpwildcard, const_javaw, const_ergo_class); -*/ } /*