diff options
author | Jirka Marsik <jiri.marsik89@gmail.com> | 2014-10-28 18:05:53 +0100 |
---|---|---|
committer | Jirka Marsik <jiri.marsik89@gmail.com> | 2014-10-28 18:05:53 +0100 |
commit | 0de41a6871457142e5ac4b06d0c892f65964a869 (patch) | |
tree | a941b5018c901b77451ec8f7156a5e0ab4e40393 /pkgs/development/tools/ocaml/ocp-build/fix-for-no-term.patch | |
parent | 3ee1f6ee79b31c77b5704cae755ebe122a5e2e53 (diff) | |
download | nixlib-0de41a6871457142e5ac4b06d0c892f65964a869.tar nixlib-0de41a6871457142e5ac4b06d0c892f65964a869.tar.gz nixlib-0de41a6871457142e5ac4b06d0c892f65964a869.tar.bz2 nixlib-0de41a6871457142e5ac4b06d0c892f65964a869.tar.lz nixlib-0de41a6871457142e5ac4b06d0c892f65964a869.tar.xz nixlib-0de41a6871457142e5ac4b06d0c892f65964a869.tar.zst nixlib-0de41a6871457142e5ac4b06d0c892f65964a869.zip |
Added ocp-build-1.99.8-beta
Diffstat (limited to 'pkgs/development/tools/ocaml/ocp-build/fix-for-no-term.patch')
-rw-r--r-- | pkgs/development/tools/ocaml/ocp-build/fix-for-no-term.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/pkgs/development/tools/ocaml/ocp-build/fix-for-no-term.patch b/pkgs/development/tools/ocaml/ocp-build/fix-for-no-term.patch new file mode 100644 index 000000000000..8ce83d095fb3 --- /dev/null +++ b/pkgs/development/tools/ocaml/ocp-build/fix-for-no-term.patch @@ -0,0 +1,11 @@ +--- ocp-build-ocp-build.1.99.8-beta/src/ocp-build/buildTerm.ml 2014-10-27 13:54:37.532023502 +0100 ++++ ocp-build-ocp-build.1.99.8-beta/src/ocp-build/buildTerm.ml.new 2014-10-27 13:54:43.397099033 +0100 +@@ -49,7 +49,7 @@ + | _ -> failwith "stty" + end + | _ -> raise Not_found +- with Unix.Unix_error _ | End_of_file | Failure _ -> ++ with Unix.Unix_error _ | End_of_file | Failure _ | Not_found -> + try + (* shell envvar *) + int_of_string (Sys.getenv "COLUMNS") |