#!/bin/zsh -f
# -*- shell-script -*-
t=${0##*/}; TEST_NAME=$t[6,-1]   # basename $0 with 'test-' stripped off

[ -z "$builddir" ] && builddir=$PWD
. ${builddir}/check-common.sh

# Doesn't work when not built from the source directory.
[[ "$top_builddir" != "$top_srcdir" ]] && exit 77

run_test_check hanoi
