diff options
Diffstat (limited to 'build/camlp4-bootstrap.sh')
| -rwxr-xr-x | build/camlp4-bootstrap.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/build/camlp4-bootstrap.sh b/build/camlp4-bootstrap.sh index 6b1b6d7fae..e1458475ee 100755 --- a/build/camlp4-bootstrap.sh +++ b/build/camlp4-bootstrap.sh @@ -6,9 +6,15 @@ TMPTARGETS="\ camlp4/boot/Lexer.ml" TARGETS="\ + camlp4/Camlp4/Struct/Camlp4Ast.ml \ camlp4/boot/Camlp4.ml \ camlp4/boot/camlp4boot.ml" +for target in $TARGETS camlp4/boot/Camlp4Ast.ml; do + [ -f "$target" ] && mv "$target" "$target.old" + rm -f "_build/$target" +done + if [ -x ./boot/myocamlbuild.native ]; then OCAMLBUILD=./boot/myocamlbuild.native else @@ -18,5 +24,5 @@ $OCAMLBUILD $TMPTARGETS $TARGETS for t in $TARGETS; do echo promote $t - cp _build/$t $t + cp _build/$t camlp4/boot/`basename $t` done |