Permalink
Browse files

add option -patch1 to ci-build script

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14939 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  • Loading branch information...
1 parent 9c2b32b commit 45473851e8b5766d870ceda498a5270070c27d07 Damien Doligez committed Jun 2, 2014
Showing with 2 additions and 0 deletions.
  1. +2 −0 tools/ci-build
View
@@ -19,6 +19,7 @@
# 2. for windows, directory in which to build (trunk, 4.02, etc)
# 3. options:
# -conf configure-option
+# -patch1 file-name apply patch with -p1
error () {
echo "$1" >&2
@@ -63,6 +64,7 @@ shift 2
while [ $# -gt 0 ]; do
case $1 in
-conf) confoptions="$confoptions $2"; shift 2;;
+ -patch1) patch -f -p1 <"$2"; shift 2;;
*) error "unknown option $1";;
esac
done

0 comments on commit 4547385

Please sign in to comment.