build/install-includes

   1 #!/bin/sh
   2 # A simple installer of include files
   3 # (c) 2005 Martin Mares <mj@ucw.cz>
   4
   5 set -e
   6 SRC=$1
   7 DEST=$2
   8 shift 2
   9 while [ -n "$1" ] ; do
  10         if [ "$SRC/$1" -nt "$DEST/$1" ] ; then
  11                 echo "INC $SRC/$1 -> $DEST/$1"
  12                 mkdir -p $DEST/`dirname $1`
  13                 cp $SRC/$1 $DEST/$1
  14         fi
  15         shift
  16 done