diff options
author | root <root@rshg054.dnsready.net> | 2012-01-26 23:14:55 +0000 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2012-01-26 23:14:55 +0000 |
commit | 3741146d50cb93e8985f8aac937e36d35ee76446 (patch) | |
tree | 98628c2ca15482ec0c66a81db48b4ddd777e1136 /staging/unison/unison-ssh-ocaml.patch | |
parent | a61c6fb05ec1cbc6845b2ed4077ce0c5950c36ed (diff) |
Thu Jan 26 23:14:55 UTC 2012
Diffstat (limited to 'staging/unison/unison-ssh-ocaml.patch')
-rw-r--r-- | staging/unison/unison-ssh-ocaml.patch | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/staging/unison/unison-ssh-ocaml.patch b/staging/unison/unison-ssh-ocaml.patch new file mode 100644 index 000000000..1b9c66c7f --- /dev/null +++ b/staging/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 |