2001-09-07 00:55:07 -07:00
|
|
|
#!/bin/sh -e
|
2001-09-08 00:43:33 -07:00
|
|
|
COMM="ocamlrun$EXE $OTOP/otherlibs/dynlink/extract_crc"
|
2001-09-07 00:55:07 -07:00
|
|
|
if test "`basename $OTOP`" != "ocaml_stuff"; then
|
|
|
|
|
COMM="$OTOP/boot/$COMM"
|
|
|
|
|
fi
|
|
|
|
|
echo $COMM $* 1>&2
|
|
|
|
|
$COMM $*
|
