From b8e7d74f9ae92d9246532f9326a47cd5292ef863 Mon Sep 17 00:00:00 2001 From: Yaakov Saxon Date: Fri, 14 Jun 2024 14:53:43 -0400 Subject: [PATCH] add jniinit to help --- main.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/main.c b/main.c index de1c268..2ec4f60 100644 --- a/main.c +++ b/main.c @@ -714,6 +714,10 @@ int parseREPLCommand(char* command){ "Shell commands:\n" " !: Run a shell command\n" " shell: Drop into an interactive shell\n" + #ifdef __ANDROID__ + "JNI Management:\n" + " initjni [...]: Initialize JNI with a library\n" + #endif "REPL Management:\n" " exit: Quit the REPL\n"); } else if (strcmp(command, "docs") == 0) {