#!/bin/bash

DIR=$(dirname $(readlink -f ${BASH_SOURCE[0]}))
GDB_SCRIPT=$DIR/pal-gdb.py
GDB_SO=$DIR/sgx_gdb.so

set -x

LD_PRELOAD=$GDB_SO gdb -iex "set auto-load safe-path $GDB_SCRIPT" "$@"