Files
Anthony Leonardo Gracio 6ff4c4c67f Enable DAP tests only for GDB 15
This corresponds to 'gdb-head'

For eng/ide/gnatstudio#243
2024-02-01 11:23:50 +00:00

6 lines
182 B
Batchfile

v="$(gdb -v | head -n 1 | cut -c 14-16)"
if [ $v -ge 15 ]
then
$GPS --load=test.py --traceon=GPS.DEBUGGING.DAP_MODULE --traceon=MODULE.Debugger_DAP --traceoff=GPS.DAP.VARIABLES
fi