| #!/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 |