#!/bin/sh
# Header files *.hh are "source code" for the corresponding *.h files.
# For each header in this category, only the .hh file should be edited.
# The .h file is generated from it automatically by the mkdefines script.
# This script returns an error code if $1.h is newer than $1.hh.
#
i=$1.h
x=${i}.hh
if [ ! -f $i ]; then echo ERROR: $i not found; exit 1 ; fi
if [ ! -f $x ]; then 0 ; fi
if [ $i -nt $x ]; then echo ERROR: $i newer than $x; exit 1; fi
exit 0
