diff options
| author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2002-01-09 12:11:20 +0000 |
|---|---|---|
| committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2002-01-09 12:11:20 +0000 |
| commit | acc0cf07b14b189a56e21553bc111b1f9f2a2982 (patch) | |
| tree | 996770d9788650cf64561d2805ddf31a3808b439 | |
| parent | 9ca7d7f14476b813ff83de97eb5a6c87177c68df (diff) | |
-
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4241 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rwxr-xr-x | camlp4/ocaml_src/tools/extract_crc.sh | 1 | ||||
| -rwxr-xr-x | camlp4/tools/camlp4_comm.sh | 4 | ||||
| -rwxr-xr-x | camlp4/tools/extract_crc.sh | 1 |
3 files changed, 2 insertions, 4 deletions
diff --git a/camlp4/ocaml_src/tools/extract_crc.sh b/camlp4/ocaml_src/tools/extract_crc.sh index ffb64fdb2..e711fe10c 100755 --- a/camlp4/ocaml_src/tools/extract_crc.sh +++ b/camlp4/ocaml_src/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 $* diff --git a/camlp4/tools/camlp4_comm.sh b/camlp4/tools/camlp4_comm.sh index d0572626c..05ab4c3e4 100755 --- a/camlp4/tools/camlp4_comm.sh +++ b/camlp4/tools/camlp4_comm.sh @@ -22,7 +22,7 @@ if test "$2" = "camlp4r" -o "$2" = "camlp4"; then shift; shift ARGS2=`echo $* | sed -e "s/[()*]//g"` # ARGS1="$ARGS1 -verbose" - echo $COMM $ARGS2 $ARGS1 $FILE 1>&2 + echo $COMM $ARGS2 $ARGS1 $FILE $COMM $ARGS2 $ARGS1 $FILE else if test "`basename $FILE .mli`.mli" = "$FILE"; then @@ -30,6 +30,6 @@ else else OFILE=`basename $FILE .ml`.ppo fi - echo cp $FILE $OFILE 1>&2 + echo cp $FILE $OFILE cp $FILE $OFILE fi 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 $* |