#!/bin/ksh

# Little script to help with installation of overlay components.
# Update the target directory, but only if each file was already
# manually installed by some other means.

while [ ! "$1" = "" ] ; do
  FILE="$1" ; shift
  if [ -r ${IRIS_OVERLAY}/${FILE} ] ; then
    echo "Install : ${FILE}"
    rootcp -p ${FILE} ${IRIS_OVERLAY}
    rootchown operator ${IRIS_OVERLAY}/${FILE}
    rootchmod 664      ${IRIS_OVERLAY}/${FILE}
  fi
done
