#!/bin/sh

exec="$1"

gdb -batch "$exec"