src/kadmin/scripts/inst-hdrs.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#!/bin/sh

dir=$1; shift
while [ $# -gt 0 ]; do
	file=$1
	cmp -s $file $dir/$file
	if [ $? != 0 ]; then
		echo "+ rm $dir/$file"
		rm -f $dir/$file
		echo "+ cp $file $dir/$file"
		cp $file $dir/$file
	fi
	shift
done