tree 141ecf319ef5af441320d3adcc5fae8b6821111a
parent b911eb36af394d49c4bfaf6de522ff6544d650c3
author Réda Housni Alaoui <reda-alaoui@hey.com> 1695737083 +0200
committer Réda Housni Alaoui <reda-alaoui@hey.com> 1696324433 +0200

Improve tools/run_dev.sh to allow custom flags

It is currently impossible or very hard to run tools/run_dev.sh
with a jvm debug port open.

With this change, one can simply run 'tools/run_dev.sh --debug' to open
 the default jvm debug port.

Change-Id: Ie3702affb3a7ee604cfa2dca6836135e0e8663b7