add jniinit to help

YSaxon · Jun 14, 2024 · b8e7d74 · b8e7d74
1 parent 3ade1f3
commit b8e7d74
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/main.c b/main.c
@@ -714,6 +714,10 @@ int parseREPLCommand(char* command){
                        "Shell commands:\n"
                        "  !<command>: Run a shell command\n"
                        "  shell: Drop into an interactive shell\n"
+                       #ifdef __ANDROID__
+                       "JNI Management:\n"
+                          "  initjni <library> <vm_var> <env_var> [<args>...]: Initialize JNI with a library\n"
+                        #endif
                        "REPL Management:\n"
                        "  exit: Quit the REPL\n");
             } else if (strcmp(command, "docs") == 0) {