diff options
| author | James Meyer <james.meyer@operamail.com> | 2012-09-02 00:44:23 (GMT) |
|---|---|---|
| committer | James Meyer <james.meyer@operamail.com> | 2012-09-02 00:44:23 (GMT) |
| commit | ece417c11a9b2f8d89a29ec07bc63c283e2c1ff0 (patch) | |
| tree | 58d095e30094ded7c53df482972001a60701fd45 /abs/extra/unison/unison-ssh-ocaml.patch | |
| parent | 8b08e5b127670b6d5fa7170477754fc3144cb309 (diff) | |
| download | linhes_pkgbuild-ece417c11a9b2f8d89a29ec07bc63c283e2c1ff0.zip linhes_pkgbuild-ece417c11a9b2f8d89a29ec07bc63c283e2c1ff0.tar.gz linhes_pkgbuild-ece417c11a9b2f8d89a29ec07bc63c283e2c1ff0.tar.bz2 | |
unison: 2.3.52
Diffstat (limited to 'abs/extra/unison/unison-ssh-ocaml.patch')
| -rw-r--r-- | abs/extra/unison/unison-ssh-ocaml.patch | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/abs/extra/unison/unison-ssh-ocaml.patch b/abs/extra/unison/unison-ssh-ocaml.patch new file mode 100644 index 0000000..1b9c66c --- /dev/null +++ b/abs/extra/unison/unison-ssh-ocaml.patch @@ -0,0 +1,25 @@ +Index: src/terminal.ml +=================================================================== +--- src/terminal.ml (révision 463) ++++ src/terminal.ml (copie de travail) +@@ -191,7 +191,6 @@ + exit 127 + end + | childPid -> +- Unix.close slaveFd; + (Some masterFd, childPid) + end + +Index: src/update.mli +=================================================================== +--- src/update.mli (révision 463) ++++ src/update.mli (copie de travail) +@@ -1,7 +1,7 @@ + (* Unison file synchronizer: src/update.mli *) + (* Copyright 1999-2009, Benjamin C. Pierce (see COPYING for details) *) + +-module NameMap : Map.S with type key = Name.t ++module NameMap : MyMap.S with type key = Name.t + + type archive = + ArchiveDir of Props.t * archive NameMap.t |