You've already forked gnatstudio
mirror of
https://github.com/AdaCore/gnatstudio.git
synced 2026-02-12 12:42:33 -08:00
6 lines
182 B
Batchfile
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
|