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.

2 files changed, 2 insertions, 2 deletions

diff --git a/tools/if_mach.c b/tools/if_mach.c
index 1b12a39d..18c40e55 100644
--- 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 845b19af..68946d23 100644
--- 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: