8 lines
178 B
Bash
8 lines
178 B
Bash
|
#!/bin/sh -e
|
||
|
|
COMM="ocamlrun $OTOP/otherlibs/dynlink/extract_crc$EXE"
|
||
|
|
if test "`basename $OTOP`" != "ocaml_stuff"; then
|
||
|
|
COMM="$OTOP/boot/$COMM"
|
||
|
|
fi
|
||
|
|
echo $COMM $* 1>&2
|
||
|
|
$COMM $*
|