<@U0GSLCF1D>: options, tools, external tools. Crea...
# random
o
@ribesg: options, tools, external tools. Create a tool, and then you can use it instead of
make
in “before launch” in run config