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