Imported Upstream version 8.4pl1dfsgupstream/8.4pl1dfsg

1 files changed, 4 insertions, 2 deletions

diff --git a/build b/build
index c4b90d86..4fca642e 100755
--- a/build
+++ b/build
@@ -12,12 +12,14 @@ check_config() {
  [ -L $MYCFG ] || ln -sf $CFG $MYCFG
 }
 
-ocb() { $OCAMLBUILD $FLAGS $*; }
+# NB: we exec ocamlbuild and run ocb last for a correct exit code
+
+ocb() { exec $OCAMLBUILD $FLAGS $*; }
 
 rule() {
   check_config
   case $1 in
-    clean)  ocb -clean && rm -rf bin/* && rm -f $MYCFG;;
+    clean)  rm -rf bin/* $MYCFG && ocb -clean;;
     all)    ocb coq.otarget;;
     win32)  ocb coq-win32.otarget;;
     *)      ocb $1;;