#!/bin/bash
# upkg-repo
#
# script to corectly invoke upkg-repo.exe
#
# Copyright (C) 2004-2006 Raffaele Sandrini, Jürg Billeter
#
# This file is part of Upkg (http://www.upkg.org).
#
# Upkg is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License version 2
# as published by the Free Software Foundation.
#
# Upkg 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 Upkg; if not, write to the Free Software
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
#
# Authors:
#   Raffaele Sandrini <rasa at paldo dot org>
#   Jürg Billeter <juerg at paldo dot org>

MONO="mono"
MONO_ARGS=""

for arg in "$@"
do
	case "$arg" in
		--debug|--profile|--trace)
			MONO_ARGS="$MONO_ARGS $arg"
			;;
	esac
done

exec $MONO $MONO_ARGS /usr/lib/upkg/upkg-repo.exe "$@"

