#!/bin/sh

if [ $# == 1 ]; then
    exec gdb -q -batch -n -x `dirname $0`/gdb-commands "$SAMPLER_REAL_EXECUTABLE" $1 </dev/null
else
    echo "Usage: $0 <pid>" 2>&1
    exit 1
fi
