As a special service "Fossies" has tried to format the requested source page into HTML format using (guessed) Bash source code syntax highlighting (style: standard) with prefixed line numbers and code folding option.
Alternatively you can here view or download the uninterpreted source code file.
1 DIR=$(dirname $0) 2 if[ !-z"$CHECK"] 3 then 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 10 fi