diff options
| author | Michel Mauny <Michel.Mauny@ensta.fr> | 2003-07-10 12:28:35 +0000 |
|---|---|---|
| committer | Michel Mauny <Michel.Mauny@ensta.fr> | 2003-07-10 12:28:35 +0000 |
| commit | 698eaa3c7a865e54bdf8d21a0ef99e031c7483ee (patch) | |
| tree | b5700e1f773d921416668f78b529f776bbeda04d /camlp4/ocaml_src/tools | |
| parent | 43e1ce9eb8687d446605e5ae281fd840080ce23f (diff) | |
*** empty log message ***
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5683 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4/ocaml_src/tools')
| -rwxr-xr-x | camlp4/ocaml_src/tools/extract_crc.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/camlp4/ocaml_src/tools/extract_crc.sh b/camlp4/ocaml_src/tools/extract_crc.sh index e711fe10c..e69de29bb 100755 --- a/camlp4/ocaml_src/tools/extract_crc.sh +++ b/camlp4/ocaml_src/tools/extract_crc.sh @@ -1,6 +0,0 @@ -#!/bin/sh -e -COMM="ocamlrun$EXE $OTOP/otherlibs/dynlink/extract_crc" -if test "`basename $OTOP`" != "ocaml_stuff"; then - COMM="$OTOP/boot/$COMM" -fi -$COMM $* |