File: handle402.sh

package info (click to toggle)
hevea 2.32-2
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 3,692 kB
  • sloc: ml: 19,109; sh: 493; makefile: 301; ansic: 132
file content (10 lines) | stat: -rw-r--r-- 224 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
 
DIR=$(dirname $0)
if [ ! -z "$CHECK" ]
then
  if [ $(ocaml $DIR/check402.ml) = ok ]; then
      rm -f $DIR/bytes.ml $DIR/bytes.mli
  else
      cp $DIR/bytes.mlp $DIR/bytes.ml
      cp $DIR/bytes.mlip $DIR/bytes.mli
  fi
fi