From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.c.buenzli@gmail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id E079ABC57
	for <caml-list@yquem.inria.fr>; Thu,  8 Jul 2010 12:02:48 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AooCAHE/NUzRVaE0mGdsb2JhbACDHZ0BCBUBAQEBAQgJDAcRIq1lgkeGBYkBAQEDBYEkgwpyBIg/hy8
X-IronPort-AV: E=Sophos;i="4.53,557,1272837600"; 
   d="scan'208";a="62936578"
Received: from mail-fx0-f52.google.com ([209.85.161.52])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 08 Jul 2010 12:02:48 +0200
Received: by fxm8 with SMTP id 8so322476fxm.39
        for <caml-list@yquem.inria.fr>; Thu, 08 Jul 2010 03:02:48 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:received:sender:received:date
         :x-google-sender-auth:message-id:subject:from:to:content-type;
        bh=7eKC8/xDmgm4IqKIAsMJgBlNPj+b110IFfao7FagdZE=;
        b=KbcEYieJIWd7ErrKVbhkoJCYZcPtDn2pjBXDSSRlEgKxWI0vtD5COnIfrSPnV1SkV4
         UHkpxmbbRp/7nhy3UdhSnDOfldDvhK9hu/qS6OHda4bO1BGsVFHdtacUpVOGe68TmGaj
         jch5rPqMTpuCMQHAdt2cwRS+nwohQDpClLvi8=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:sender:date:x-google-sender-auth:message-id:subject
         :from:to:content-type;
        b=CUgexjc4tylSo9dg2BS2K0ZVN9f11jcpfnrCj2X1KiBpEBVmmuYwoGXsB2Rvo7drjD
         xqfuBPCb0fd0910ignlcT0+EL3axn0Qx3uHCzLmYPAQy+qB5HtHa8GL0R1ZfiGS1H+4S
         8vFOLLFDNH0nAD81ijmtVxibMz3RPXEtQHLQM=
MIME-Version: 1.0
Received: by 10.86.53.20 with SMTP id b20mr5239759fga.2.1278583368571; Thu, 08 
	Jul 2010 03:02:48 -0700 (PDT)
Sender: daniel.c.buenzli@gmail.com
Received: by 10.223.109.198 with HTTP; Thu, 8 Jul 2010 03:02:48 -0700 (PDT)
Date: Thu, 8 Jul 2010 12:02:48 +0200
X-Google-Sender-Auth: irnXwnx94PaGyJ5KAd3617SNu5Y
Message-ID: <AANLkTilhhgpwX6djaxlfccZzSMxY9MP0NU1D2j5EmOgp@mail.gmail.com>
Subject: Distinguish between osx and linux programmatically
From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: caml-list List <caml-list@yquem.inria.fr>
Content-Type: text/plain; charset=UTF-8
X-Spam: no; 0.00; buenzli:01 unix:01 sys:03 library:03 daniel:04 daniel:04 distinguish:05 distinguish:05 linux:07 linux:07 osx:07 standard:07 returns:11 between:13 between:13 

Hello,

Is there something in the standard library that allows me to
distinguish between oxs and linux (Sys.os_type just returns "Unix" for
both).

Best,

Daniel