Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4241 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Daniel de Rauglaudre 2002-01-09 12:11:20 +00:00
parent 9ca7d7f144
commit acc0cf07b1
3 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
camlp4/ocaml_src/tools/extract_crc.sh
View File

@ -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 $*

4
camlp4/tools/camlp4_comm.sh
View File

@ -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

1
camlp4/tools/extract_crc.sh
View File

@ -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 $*