Fix build on Windows

2 files changed, 2 insertions, 3 deletions

diff --git a/driver/utils/cwrapper.c b/driver/utils/cwrapper.c
index 6a58114bcf..cf763a275d 100644
--- a/driver/utils/cwrapper.c
+++ b/driver/utils/cwrapper.c
@@ -54,7 +54,6 @@ char *mkString(const char *fmt, ...) {
 char *quote(char *str) {
     char *quotedStr;
     char *p;
-    int i;
 
     quotedStr = malloc(2 * strlen(str) + 2 + 1);
     if (quotedStr == NULL) {
@@ -74,7 +73,7 @@ char *quote(char *str) {
     return quotedStr;
 }
 
-int run(char *exePath, int numArgs1, char **args1, int numArgs2, char **args2) {
+__attribute__((noreturn)) int run(char *exePath, int numArgs1, char **args1, int numArgs2, char **args2) {
     char **p;
     char **newArgv;
     int i, ret;
diff --git a/driver/utils/cwrapper.h b/driver/utils/cwrapper.h
index 53cf652a16..324470e5ed 100644
--- a/driver/utils/cwrapper.h
+++ b/driver/utils/cwrapper.h
@@ -1,5 +1,5 @@
 
 void die(const char *fmt, ...);
 char *mkString(const char *fmt, ...);
-int run(char *exePath, int numArgs1, char **args1, int numArgs2, char **args2);
+__attribute__((noreturn)) int run(char *exePath, int numArgs1, char **args1, int numArgs2, char **args2);