#! /bin/sh

#
# Copyright (C) 2008, 2009 Francesco Salvestrini
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 2 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License along
# with this program; if not, write to the Free Software Foundation, Inc.,
# 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
#

. $testdir/defs || exit 1

MODE=compile
TOOL=compiler

$WRAPPER choicetool-$TOOL                          && exit 1
$CHOICETOOL --dry-run -h                     $MODE || exit 1
$CHOICETOOL --dry-run --verbose -h           $MODE || exit 1
$CHOICETOOL --dry-run --debug   -h           $MODE || exit 1
$CHOICETOOL --dry-run --debug   --verbose -h $MODE || exit 1

exit 0
