From d83c0339a26179567eed0a8d65d944008e3637b2 Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Fri, 19 Feb 2010 13:42:22 +0000
Subject: [PATCH] Fix build on Windows

---
 driver/utils/cwrapper.c |    3 +--
 driver/utils/cwrapper.h |    2 +-
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/driver/utils/cwrapper.c b/driver/utils/cwrapper.c
index 6a58114..cf763a2 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 53cf652..324470e 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);
 
-- 
1.7.10.4