#!/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.

.z = 0
for i in *.h; do
  x=${i}h
  if [ ! -f $x ]; then continue; fi
  echo -n $i...
  if [ $i -nt $x ]; then echo WARNING: newer than $x; .z=1; continue; fi
  echo $i... OK
done
exit $z
