diff options
Diffstat (limited to 'camlp4/tools/extract_crc.sh')
| -rwxr-xr-x | camlp4/tools/extract_crc.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/camlp4/tools/extract_crc.sh b/camlp4/tools/extract_crc.sh index ffb64fdb2..e711fe10c 100755 --- a/camlp4/tools/extract_crc.sh +++ b/camlp4/tools/extract_crc.sh @@ -3,5 +3,4 @@ COMM="ocamlrun$EXE $OTOP/otherlibs/dynlink/extract_crc" if test "`basename $OTOP`" != "ocaml_stuff"; then COMM="$OTOP/boot/$COMM" fi -echo $COMM $* 1>&2 $COMM $* |