1DIR=$(dirname $0)
2if [ ! -z "$CHECK" ]
3then
4  if [ $(ocaml $DIR/check402.ml) = ok ]; then
5      rm -f $DIR/bytes.ml $DIR/bytes.mli
6  else
7      cp $DIR/bytes.mlp $DIR/bytes.ml
8      cp $DIR/bytes.mlip $DIR/bytes.mli
9  fi
10fi
11