if [ -f ${1}/devel ]; then
	shift
	echo "$@"
fi