1 files changed, 5 insertions, 1 deletions
diff --git a/debug.c b/debug.c
index c60cc5aa..981f95b2 100644
--- a/debug.c
+++ b/debug.c
@@ -30,6 +30,10 @@
 #include <fcntl.h>	/* open() */
 #endif
 
+#ifdef __MINGW32__
+int w32_execvp(const char *, char **);
+#endif
+
 extern bool exiting;
 extern SRCFILE *srcfiles;
 extern INSTRUCTION *rule_list;
@@ -2915,7 +2919,7 @@ restart(bool run)
 
 	/* start a new process replacing the current process */
 #ifdef __MINGW32__
-	execvp(d_argv[0], (const char * const *)d_argv);
+	w32_execvp(d_argv[0], d_argv);
 #else
 	execvp(d_argv[0], d_argv);
 #endif