equal
deleted
inserted
replaced
61 echo "X ${PREFIX}$NAME" |
61 echo "X ${PREFIX}$NAME" |
62 mkdir -p "$TODIR/${PREFIX}$NAME" || fail "Bad directory '$TODIR/${PREFIX}$NAME'" |
62 mkdir -p "$TODIR/${PREFIX}$NAME" || fail "Bad directory '$TODIR/${PREFIX}$NAME'" |
63 copy "${PREFIX}$NAME/" || return "$?" |
63 copy "${PREFIX}$NAME/" || return "$?" |
64 else |
64 else |
65 { [ ! -d "$TODIR/${PREFIX}$NAME" ] && \ |
65 { [ ! -d "$TODIR/${PREFIX}$NAME" ] && \ |
66 $(CP) -af "$FROMDIR/${PREFIX}$NAME" "$TODIR/${PREFIX}$NAME"; } || \ |
66 $CP -af "$FROMDIR/${PREFIX}$NAME" "$TODIR/${PREFIX}$NAME"; } || \ |
67 fail "Cannot install '$TODIR/${PREFIX}$NAME'" |
67 fail "Cannot install '$TODIR/${PREFIX}$NAME'" |
68 fi |
68 fi |
69 fi |
69 fi |
70 done |
70 done |
71 IFS="$ORIG_IFS" |
71 IFS="$ORIG_IFS" |