Imported Upstream version 8.5~beta1+dfsg

1 files changed, 4 insertions, 8 deletions

diff --git a/build b/build
index 4fca642e..debf29cf 100755
--- a/build
+++ b/build
@@ -1,25 +1,21 @@
 #!/bin/sh
 
-FLAGS=
+FLAGS="-j 2"
 OCAMLBUILD=ocamlbuild
-CFG=config/coq_config.ml
 MYCFG=myocamlbuild_config.ml
 
 export CAML_LD_LIBRARY_PATH=`pwd`/_build/kernel/byterun
 
 check_config() {
- [ -f $CFG ] || (echo "please run ./configure first"; exit 1)
- [ -L $MYCFG ] || ln -sf $CFG $MYCFG
+ if [ ! -f $MYCFG ]; then echo "please run ./configure first"; exit 1; fi
 }
 
-# NB: we exec ocamlbuild and run ocb last for a correct exit code
-
-ocb() { exec $OCAMLBUILD $FLAGS $*; }
+ocb() { $OCAMLBUILD $FLAGS $*; }
 
 rule() {
   check_config
   case $1 in
-    clean)  rm -rf bin/* $MYCFG && ocb -clean;;
+    clean)  ocb -clean && rm -rf bin/*;;
     all)    ocb coq.otarget;;
     win32)  ocb coq-win32.otarget;;
     *)      ocb $1;;