|
@@ -367,8 +367,14 @@ BEGIN
|
|
writeln(bullet+' GDB Version '+GDBVersion);
|
|
writeln(bullet+' GDB Version '+GDBVersion);
|
|
{$ifdef Windows}
|
|
{$ifdef Windows}
|
|
{$ifndef USE_MINGW_GDB}
|
|
{$ifndef USE_MINGW_GDB}
|
|
- writeln(bullet+' Cygwin "',GetCygwinFullName,'" version ',GetCygwinVersionString);
|
|
|
|
- CheckCygwinVersion;
|
|
|
|
|
|
+ {$ifdef GDBMI}
|
|
|
|
+ { No reason to talk about cygwin DLL if we don't use it }
|
|
|
|
+ if using_cygwin_gdb then
|
|
|
|
+ {$endif GDBMI}
|
|
|
|
+ begin
|
|
|
|
+ writeln(bullet+' Cygwin "',GetCygwinFullName,'" version ',GetCygwinVersionString);
|
|
|
|
+ CheckCygwinVersion;
|
|
|
|
+ end;
|
|
{$endif}
|
|
{$endif}
|
|
{$endif Windows}
|
|
{$endif Windows}
|
|
{$endif NODEBUG}
|
|
{$endif NODEBUG}
|