Fix 'execvp argument incompatible pointer type' compiler warning (tools)

* tools/if_mach.c (main): Cast the 2nd argument of execvp to void* (to
avoid compiler warning as the argument of execvp() prototype could be
of "const char* const*" or "char**" type).
* tools/if_not_there.c (main): Likewise.

diff --git a/tools/if_mach.c b/tools/if_mach.c
index 1b12a39dd38c18d15dd53f8e48f540583738a607..18c40e55362f52099125a3a615161694049a3c87 100644 (file)
--- a/tools/if_mach.c
+++ b/tools/if_mach.c
@@ -13,7 +13,7 @@ int main(int argc, char **argv)
         && strcmp(OS_TYPE, argv[2]) != 0) return(0);
     fprintf(stderr, "^^^^Starting command^^^^\n");
     fflush(stdout);
-    execvp(TRUSTED_STRING(argv[3]), argv+3);
+    execvp(TRUSTED_STRING(argv[3]), (void *)(argv + 3));
     perror("Couldn't execute");
 
 Usage:

diff --git a/tools/if_not_there.c b/tools/if_not_there.c
index 845b19af56ce7753e74bee4a7968ef0403d15404..68946d23958638243130f3c2f9560c6c52b7ae4e 100644 (file)
--- a/tools/if_not_there.c
+++ b/tools/if_not_there.c
@@ -38,7 +38,7 @@ int main(int argc, char **argv)
 #endif
     printf("^^^^Starting command^^^^\n");
     fflush(stdout);
-    execvp(TRUSTED_STRING(argv[2]), argv+2);
+    execvp(TRUSTED_STRING(argv[2]), (void *)(argv + 2));
     exit(1);
 
 Usage: