File otp_src_25.3.2.12-erts-etc-common-erlexec.patch of Package erlang

diff -Ndurp otp_src_25.3.2.12/erts/etc/common/erlexec.c otp_src_25.3.2.12-erts-etc-common-erlexec/erts/etc/common/erlexec.c
--- otp_src_25.3.2.12/erts/etc/common/erlexec.c	2024-05-24 13:26:20.662046666 +0300
+++ otp_src_25.3.2.12-erts-etc-common-erlexec/erts/etc/common/erlexec.c	2024-05-24 13:29:33.473871698 +0300
@@ -725,7 +725,7 @@ int main(int argc, char **argv)
 #else
 			argv[i] = "man";
                         for (int j = i; argv[j]; j++) {
-                            if (strncmp(argv[j],"--",2) == 0) {
+                            if (strncmp(argv[j],sep,2) == 0) {
                                 argv[j] = NULL;
                                 break;
                             }