summaryrefslogtreecommitdiff
path: root/camlp4/ocaml_src/tools/ocamlopt.sh
blob: 1fb669d6700a3832248451bea1f56ff7b7b0ce7d (plain)
1
2
3
4
5
6
7
8
#!/bin/sh -e
if test "`basename $OTOP`" != "ocaml_stuff"; then
    COMM=$OTOP/ocamlcompopt.sh
else
    COMM=ocamlopt$OPT
fi
echo $COMM $*
$COMM $*