inst-hdrs.sh   [plain text]

#!/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