#!/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
