aoetools/aoe-revalidate.in

#! /bin/sh
# aoe-revalidate

if test -z "$*"; then
	echo 1>&2 Usage: $0 'e{major}.{minor}'
	exit 1
fi
echo "$*" > @devdir@/revalidate || {
	echo "`basename $0` Error: revalidate failed" 1>&2
	exit 1
}