# HG changeset patch # User Claus Gittinger # Date 1462300844 -7200 # Node ID 1697fd0fc83331862e20b0b496e1a477932594e8 # Parent d7e706dedbe82bad7689b604d1bcad50ccabdb34 extensions diff -r d7e706dedbe8 -r 1697fd0fc833 mingwmake.bat --- a/mingwmake.bat Tue May 03 20:40:42 2016 +0200 +++ b/mingwmake.bat Tue May 03 20:40:44 2016 +0200 @@ -11,3 +11,5 @@ make.exe -N -f bc.mak %DEFINES% %USEMINGW_ARG% %* + +