From af01314799a90591cdd57796d2497c40325061d9 Mon Sep 17 00:00:00 2001 From: florian Date: Tue, 23 Jul 2024 22:51:03 +0200 Subject: [PATCH] * properly write info if GDB is not found --- packages/ide/fp.pas | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/packages/ide/fp.pas b/packages/ide/fp.pas index d63374ce74..9d6e790797 100644 --- a/packages/ide/fp.pas +++ b/packages/ide/fp.pas @@ -364,6 +364,9 @@ const bullet='*'; const bullet=#254; {$endif} +var + _GDBVersion: String; + BEGIN {$IFDEF HasSignal} EnableCatchSignals; @@ -381,7 +384,12 @@ BEGIN ProcessParams(true); {$ifndef NODEBUG} - writeln(bullet+' GDB Version '+GDBVersion); + + _GDBVersion:=GDBVersion; + while pos(#13#3,_GDBVersion)<>0 do + Delete(_GDBVersion,pos(#13#3,_GDBVersion),2); + writeln(bullet+' GDB Version '+_GDBVersion); + {$ifdef Windows} {$ifndef USE_MINGW_GDB} {$ifdef GDBMI}