Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Minor fix in the ./build wrapper for ocamlbuild

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15877 85f007b7-540e-0410-9357-904b9bb8a0f7
  • Loading branch information...
commit 48b3abb2373a1bd4655f2de44f42245be4d773ac 1 parent 4e0def8
letouzey authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  build
View
2  build
@@ -7,7 +7,7 @@ MYCFG=myocamlbuild_config.ml
export CAML_LD_LIBRARY_PATH=`pwd`/_build/kernel/byterun
check_config() {
- [ -f $MYCFG ] || (echo "please run ./configure first"; exit 1)
+ if [ ! -f $MYCFG ]; then echo "please run ./configure first"; exit 1; fi
}
ocb() { $OCAMLBUILD $FLAGS $*; }
Please sign in to comment.
Something went wrong with that request. Please try again.