build/install-includes

   1 #!/bin/sh
   2 # A simple installer of include files
   3 # (c) 2005--2007 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 [ ! -f "$DEST/$1" -o "$SRC/$1" -nt "$DEST/$1" ] ; then
  11                 echo "INC $SRC/$1 -> $DEST/$1"
  12                 mkdir -p $DEST/`dirname $1`
  13                 sed -e 's/^\(#include[   ]*\)"\(.*\)"/\1<\2>/' <$SRC/$1 >$DEST/$1
  14         fi
  15         shift
  16 done