# --- ROCK-COPYRIGHT-NOTE-BEGIN ---
# 
# This copyright note is auto-generated by ./scripts/Create-CopyPatch.
# Please add additional copyright information _after_ the line containing
# the ROCK-COPYRIGHT-NOTE-END tag. Otherwise it might get removed by
# the ./scripts/Create-CopyPatch script. Do not edit this copyright text!
# 
# ROCK Linux: rock-src/package/nikolaus/unison/unison-Linux.patch
# ROCK Linux is Copyright (C) 1998 - 2003 Clifford Wolf
# 
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 2 of the License, or
# (at your option) any later version. A copy of the GNU General Public
# License can be found at Documentation/COPYING.
# 
# Many people helped and are helping developing ROCK Linux. Please
# have a look at http://www.rocklinux.org/ and the Documentation/TEAM
# file for details.
# 
# --- ROCK-COPYRIGHT-NOTE-END ---

diff -ruN unison-2.9.20/ubase/util.ml unison-2.9.20-avm/ubase/util.ml
--- unison-2.9.20/ubase/util.ml	2002-08-19 23:15:04.000000000 +0200
+++ unison-2.9.20-avm/ubase/util.ml	2003-11-10 22:46:21.000000000 +0100
@@ -217,7 +217,7 @@
     close_in c;
     match l with
       "Darwin" -> true
-    | "linux" | "FreeBSD" | "SunOS" -> false
+    | "Linux" | "FreeBSD" | "SunOS" -> false
     | _ ->
         Printf.printf
          "Warning: 'uname' returned unrecognized result (%s) in Util.isOSX.\n"