#!/usr/bin/env bash
# -*- shell-script -*-

[ -z "$srcdir" ] && export srcdir=$PWD
[ -z "$builddir" ] && export builddir=$PWD
[ -z "$top_builddir" ] && export top_builddir=$builddir/../..

cmdfile=${top_srcdir}/test/data/settrace.cmd

debugged_script="${top_srcdir}/test/example/settrace.sh"

$SH $debugged_script $top_builddir $cmdfile
