projects / packages / camlp5.git / blame
| Commit | Line | Data |
|---|---|---|
| 1ecd5f61 JB |
1 | --- camlp5-rel8.00.02/tools/ocamlc.sh.orig 2021-08-05 00:14:37.000000000 +0200 |
| 2 | +++ camlp5-rel8.00.02/tools/ocamlc.sh 2021-09-12 19:30:57.975775853 +0200 | |
| 3 | @@ -1,5 +1,5 @@ | |
| 4 | #!/bin/sh -e | |
| 5 | ||
| 6 | COMM=${OCAMLN}c$OPT | |
| 7 | -echo $COMM $* | |
| 8 | -$COMM $* | |
| 9 | +echo $COMM "$@" | |
| 10 | +$COMM "$@" | |
| 11 | --- camlp5-rel8.00.02/tools/ocamlopt.sh.orig 2021-08-05 00:14:37.000000000 +0200 | |
| 12 | +++ camlp5-rel8.00.02/tools/ocamlopt.sh 2021-09-12 19:31:14.806650407 +0200 | |
| 13 | @@ -1,5 +1,5 @@ | |
| 14 | #!/bin/sh -e | |
| 15 | ||
| 16 | COMM=${OCAMLN}opt$OPT | |
| 17 | -echo $COMM $* | |
| 18 | -$COMM $* | |
| 19 | +echo $COMM "$@" | |
| 20 | +$COMM "$@" | |
| 21 | --- camlp5-rel8.00.02/ocaml_src/tools/ocamlc.sh.orig 2021-08-05 00:14:37.000000000 +0200 | |
| 22 | +++ camlp5-rel8.00.02/ocaml_src/tools/ocamlc.sh 2021-09-12 19:31:44.258180744 +0200 | |
| 23 | @@ -1,5 +1,5 @@ | |
| 24 | #!/bin/sh -e | |
| 25 | ||
| 26 | COMM=${OCAMLN}c$OPT | |
| 27 | -echo $COMM $* | |
| 28 | -$COMM $* | |
| 29 | +echo $COMM "$@" | |
| 30 | +$COMM "$@" | |
| 31 | --- camlp5-rel8.00.02/ocaml_src/tools/ocamlopt.sh.orig 2021-08-05 00:14:37.000000000 +0200 | |
| 32 | +++ camlp5-rel8.00.02/ocaml_src/tools/ocamlopt.sh 2021-09-12 19:31:57.728880697 +0200 | |
| 33 | @@ -1,5 +1,5 @@ | |
| 34 | #!/bin/sh -e | |
| 35 | ||
| 36 | COMM=${OCAMLN}opt$OPT | |
| 37 | -echo $COMM $* | |
| 38 | -$COMM $* | |
| 39 | +echo $COMM "$@" | |
| 40 | +$COMM "$@" | |
| 41 | --- camlp5-rel8.00.02/configure.orig 2021-09-12 19:35:45.520716664 +0200 | |
| 42 | +++ camlp5-rel8.00.02/configure 2021-09-12 19:40:02.490734388 +0200 | |
| 43 | @@ -262,7 +262,7 @@ echo EXT_LIB=$EXT_LIB | |
| 44 | echo OVERSION=$STUFFVERSION | |
| 45 | echo VERSION=$VERSION | |
| 46 | -echo OCAMLC_W_Y=\"$OCAMLC_W_Y\" | |
| 47 | -echo WARNERR=\"$WARNERR\" | |
| 48 | +echo OCAMLC_W_Y=$OCAMLC_W_Y | |
| 49 | +echo WARNERR=$WARNERR | |
| 50 | echo NO_PR_DIR=$NO_PR_DIR | |
| 51 | echo OLIBDIR=$OLIBDIR | |
| 52 | echo OCLIBDIR=$OCLIBDIR |