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