#!/bin/bash -f
# -*- shell-script -*-
[ -z "$top_srcdir" ] && export srcdir=$PWD/../..
[ -z "$top_builddir" ] && export top_builddir=$builddir/../..
debugged_script="${top_srcdir}/test/example/$hanoi.sh"
[[ ! -r $debugged_script ]] && \
debugged_script="${top_builddir}/test/example/hanoi.sh"
$SH $debugged_script trace $top_builddir