#!/bin/sh -e

if [ $1 == "cp" ]; then
	while [ $# -gt 1 ] ; do
		cp $2 ../../src/u-boot/$2;
		shift;
	done
elif [ $1 == "rm" ]; then
	while [ $# -gt 1 ] ; do
		rm -f $2;
		shift;
	done
elif [ $1 == "release" ]; then
	while [ $# -gt 1 ] ; do
		make -C $2 release;
		shift;
	done
fi