diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2014-06-02 11:27:24 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2014-06-02 11:27:24 +0000 |
| commit | 45473851e8b5766d870ceda498a5270070c27d07 (patch) | |
| tree | 466e444d7f21fca5cb464fde6fad2e01bd3c914f /tools | |
| parent | 9c2b32b1390b688d0043ae5aa4a63e2ca7402797 (diff) | |
| download | ocaml-45473851e8b5766d870ceda498a5270070c27d07.tar.gz | |
add option -patch1 to ci-build script
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14939 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci-build | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/ci-build b/tools/ci-build index f618a2da5e..de96090ebe 100755 --- a/tools/ci-build +++ b/tools/ci-build @@ -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 |