@echo off

set fileName=%1

echo Starting remote program %filename%...
novacom run "file:///usr/bin/gdbserver host:2345 %fileName% "