#!/bin/bash

export GLIBCXX_FORCE_NEW=1
LD_LIBRARY_PATH=${LD_LIBRARY_PATH}:/home/disk0/elf; export LD_LIBRARY_PATH;

pushd /home/disk0/elf
if [ "$1" != "-t" ]; then
gdbserver 127.0.0.1:6666 hodexRI_vga.elf $1
else
  ./hodextestR_vga.elf $1
fi
popd
