+srcdir=${0%/*}
+[ "$srcdir" = "$0" -o "$srcdir" = "." ] && srcdir=$PWD
+if [ -n "$dir" ]; then
+ if [ $copy = 1 ]; then
+ if ! cp "$srcdir/became" "$dir/became"; then
+ echo >&2 "Failed to copy $srcdir/became to $dir!"
+ exit 100
+ fi
+ fi
+else
+ dir=$srcdir