diff --git a/driver/main.c b/driver/main.c
index 1cccb1f9a..0da7c4c19 100644
--- a/driver/main.c
+++ b/driver/main.c
@@ -395,9 +395,7 @@ static int t_compile()
       char*cmd = malloc(ncmd + 1);
       strcpy(cmd, tmp);
 
-#ifdef __MINGW32__
-      unsigned ncmd_start = ncmd;
-#else
+#ifndef __MINGW32__
       int rtn;
 #endif