mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-10-23 12:00:35 -04:00
12 lines
508 B
Diff
12 lines
508 B
Diff
|
--- 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")
|