From 56c369398d3983306fa9241c0f65d04bdc58046c Mon Sep 17 00:00:00 2001
From: Raffi Enficiaud <raffi.enficiaud@mines-paris.org>
Date: Sun, 28 Oct 2018 15:30:38 +0100
Subject: [PATCH] Fix compilation issue on some old compilers

---
 src/engine/execnt.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/engine/execnt.c b/src/engine/execnt.c
index a712e15d3d..2f213bf5e9 100644
--- a/src/engine/execnt.c
+++ b/src/engine/execnt.c
@@ -766,6 +766,7 @@ static void read_pipe
 {
     DWORD bytesInBuffer = 0;
     DWORD bytesAvailable = 0;
+    int i;
 
     for (;;)
     {
@@ -780,7 +781,6 @@ static void read_pipe
             return;
 
         /* Clean up some illegal chars. */
-        int i;
         for ( i = 0; i < bytesInBuffer; ++i )
         {
             if ( ( (unsigned char)ioBuffer[ i ] < 1 ) )