Fix build on Windows

diff --git a/driver/utils/cwrapper.c b/driver/utils/cwrapper.c
index 6a58114..cf763a2 100644 (file)
--- 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;
 char *quote(char *str) {
     char *quotedStr;
     char *p;

-    int i;

 
     quotedStr = malloc(2 * strlen(str) + 2 + 1);
     if (quotedStr == NULL) {
 
     quotedStr = malloc(2 * strlen(str) + 2 + 1);
     if (quotedStr == NULL) {

@@ -74,7 +73,7 @@ char *quote(char *str) {
     return quotedStr;
 }
 
     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;
     char **p;
     char **newArgv;
     int i, ret;

diff --git a/driver/utils/cwrapper.h b/driver/utils/cwrapper.h
index 53cf652..324470e 100644 (file)
--- a/driver/utils/cwrapper.h
+++ b/driver/utils/cwrapper.h
@@ -1,5 +1,5 @@
 
 void die(const char *fmt, ...);
 char *mkString(const char *fmt, ...);
 
 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);