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