#! /bin/sh
# aoe-revalidate

zero=`basename $0`
f=@devdir@/revalidate

if test -z "$*"; then
	echo 1>&2 Usage: $zero 'e{major}.{minor}'
	exit 1
fi
if ! test -w $f; then
	echo 1>&2 $zero: $f does not exist or is not writeable
	exit 1
fi
echo "$*" > $f || {
	echo "$zero: revalidate failed" 1>&2
	exit 1
}