summaryrefslogtreecommitdiff
path: root/camlp4/ocaml_src/tools/camlp4_comm.sh
blob: 357a929520baea1294b8eb10cb165810b7fd5cbd (plain)
1
2
3
4
5
6
7
8
9
#!/bin/sh

if test "`basename $1 .mli`.mli" = "$1"; then
  echo cp $1 `basename $1 .mli`.ppi
  cp $1 `basename $1 .mli`.ppi
else
  echo cp $1 `basename $1 .ml`.ppo
  cp $1 `basename $1 .ml`.ppo
fi