#!/bin/bash | |
filename=$1 | |
tmpfile=/tmp/$RANDOM$RANDOM$RANDOM | |
head -1 "$filename" | fgrep Copyright > /dev/null && ./remove-from-to "." "FarmHash" "$filename" | |
(cat ../COPYING; echo "//"; echo "// FarmHash, by Geoff Pike"; echo; cat "$filename") > $tmpfile | |
exec mv $tmpfile "$filename" |