diff options
Diffstat (limited to 'build/partial-boot.sh')
| -rwxr-xr-x | build/partial-boot.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/build/partial-boot.sh b/build/partial-boot.sh index e4e96a0b0..e2b8097b7 100755 --- a/build/partial-boot.sh +++ b/build/partial-boot.sh @@ -1,7 +1,9 @@ #!/bin/sh +# $Id$ set -ex cd `dirname $0`/.. -export OCAMLBUILD_PARTIAL="true" +OCAMLBUILD_PARTIAL="true" +export OCAMLBUILD_PARTIAL mkdir -p _build cp -rf boot _build/ cp parsing/location.ml parsing/location.mli camlp4/build |