From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 9C5E77F60B for ; Fri, 24 Mar 2017 08:06:10 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=asai@is.ocha.ac.jp; spf=Pass smtp.mailfrom=asai@is.ocha.ac.jp; spf=None smtp.helo=postmaster@web.is.ocha.ac.jp Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of asai@is.ocha.ac.jp) identity=pra; client-ip=133.65.64.10; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="asai@is.ocha.ac.jp"; x-sender="asai@is.ocha.ac.jp"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of asai@is.ocha.ac.jp designates 133.65.64.10 as permitted sender) identity=mailfrom; client-ip=133.65.64.10; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="asai@is.ocha.ac.jp"; x-sender="asai@is.ocha.ac.jp"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@web.is.ocha.ac.jp) identity=helo; client-ip=133.65.64.10; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="asai@is.ocha.ac.jp"; x-sender="postmaster@web.is.ocha.ac.jp"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AnrUgIhZVdhEqlrnje9F5bN//LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZocW+bnLW6fgltlLVR4KTs6sC0LuK9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQtFiT6ybL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD?= =?us-ascii?q?0fOjA38G/ZlNF+gqFUrx29uhNwzZXZYJ2JOPdkYq/RYckXSXRHU81MVyJBGIS8?= =?us-ascii?q?b44XAuQEI+lYqYj9qEcOrRu/GAKhGPjvxSVJhnTr2qA1yf8hHhvH3AE7HtIOq2?= =?us-ascii?q?7YrNLpO6cSS++51rPHwinZY/NUwTfw8Y7FeQ0ir/GURb98bMTcxEc1Gw7Ejlic?= =?us-ascii?q?s43oMjyP2ugQr2SX9/dsWOyhhmI9qgx8oiKjy8Ysh4XTmI4YzE3P+z9jz4YvP9?= =?us-ascii?q?K4TVZ2Yd66H5tUsCGXL4V3Td05TG1yuSY60acKuZmncygK0psr3QTQZOCdf4iK?= =?us-ascii?q?+hLvTOeRITFmi3J5YL+zmhi//Ea6xuD9VsS4yldHoyVfntXRqnwBzxnT5dKGSv?= =?us-ascii?q?t58EehwzGP1wXL5+5eOkA7j6vbJoUgwr4rjJYTtljMHi/sl0nslqCZal8o+uqw?= =?us-ascii?q?6+j/eLXpuoecN5NoigH5KqkhhtawAeE8MgQXW2ib+P+81KH48E3iQLRKi+U2nb?= =?us-ascii?q?PDvJDbI8QbvK+5DBVP3oYt8RbsRwuhhd8RmH1CKFNeZDqGiZLoMhfAOqPWF/C6?= =?us-ascii?q?1nehljZgx/GOF6boA92ZJ2PKkZ/gZvB64E5VjgM4i9JHscEHQoodKe7+Dxei/O?= =?us-ascii?q?fTCQU0ZlS5?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AQBQCrxNRY/wpAQYVdHgYMGAEFAQsBg?= =?us-ascii?q?yZhgQu3FQEhhXoEgyFDFAEBAQEBAQEBAQEBaiiCMyCDA3s0BSABBQGKOgGZcIN?= =?us-ascii?q?EP44ph24agj0yEpBLgmiCMQWHFQeJQ4t6hnuLQw2CUId7hmWSHTOBFTYhgQQkF?= =?us-ascii?q?ggshyhmiW4BAQE?= X-IPAS-Result: =?us-ascii?q?A0AQBQCrxNRY/wpAQYVdHgYMGAEFAQsBgyZhgQu3FQEhhXo?= =?us-ascii?q?EgyFDFAEBAQEBAQEBAQEBaiiCMyCDA3s0BSABBQGKOgGZcINEP44ph24agj0yE?= =?us-ascii?q?pBLgmiCMQWHFQeJQ4t6hnuLQw2CUId7hmWSHTOBFTYhgQQkFggshyhmiW4BAQE?= X-IronPort-AV: E=Sophos;i="5.36,213,1486422000"; d="scan'208";a="265987215" Received: from web.is.ocha.ac.jp ([133.65.64.10]) by mail2-smtp-roc.national.inria.fr with ESMTP; 24 Mar 2017 08:06:09 +0100 Received: from mail-pf0-f199.google.com (mail-pf0-f199.google.com [209.85.192.199]) by web.is.ocha.ac.jp (Postfix) with ESMTP id D9F0B20783F4D for ; Fri, 24 Mar 2017 16:06:06 +0900 (JST) Received: by mail-pf0-f199.google.com with SMTP id p189so11909643pfp.5 for ; Fri, 24 Mar 2017 00:06:06 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:subject:message-id:mime-version :content-disposition:user-agent; bh=rTdaaQPHnd1Y15VSUEtOrTfImFropbfPUh9LOMKwKDA=; b=qO9yILMw13OXP3XcuZsKb0UULPfPdsSoRNE9TyvzO9yE2hfXynBQRnXdN77+Qji6cW 0JYPssDtME68hkgbvuuxF8atMFUVzYdusy9xZ1AoclrGWfM37mb0W3MnDe3C0cRV/f1/ az58jU6bOaV6MbRiVCB5HvWgqoo0jV4XN0TGy+R2tkiOc77Ow+nNTqSiOakYjRnpVbSr y8ExpiE3UnZLDoJPC3eMZBwx6IZIpU5LN/rjIhg4amLy0sXE0oi+ks03u8ESEZJN8no2 xgGvjcYyCBxQYns0Dg7Hed7pHJ83Jl97+P9RZ26nMlQLhRoMAfvEeQj2ObHf7ZOs837v EPhg== X-Gm-Message-State: AFeK/H3JeFwjgU+PnlcBXMLwu6jzTYXhr4mdz7GZGUGCkDyhDowshhPYSt5PrQ0yZhs623DFe349t/X4JS3yM/lAhTGJ9YqXOnumB0uimKPOUJ/WJaB9kzOopd/weTBQVAW+qpM= X-Received: by 10.98.221.141 with SMTP id w135mr7277847pff.109.1490339166190; Fri, 24 Mar 2017 00:06:06 -0700 (PDT) X-Received: by 10.98.221.141 with SMTP id w135mr7277829pff.109.1490339166007; Fri, 24 Mar 2017 00:06:06 -0700 (PDT) Received: from localhost ([133.65.65.2]) by smtp.gmail.com with ESMTPSA id p189sm2293506pfb.128.2017.03.24.00.06.04 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 24 Mar 2017 00:06:05 -0700 (PDT) Date: Fri, 24 Mar 2017 16:05:58 +0900 From: Kenichi Asai To: caml-list@inria.fr Message-ID: <20170324070558.GA36798@pllab.is.ocha.ac.jp> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.7.2 (2016-11-26) Subject: [Caml-list] On .gitignore Why is /otherlibs/systhreads/thread.ml listed in .gitignore in the OCaml distribution (or in the github repository)? Because of this, when I make a local git repository from the OCaml source and clone it to somewhere else, I get an error when I do "make world" because of the missing thread.ml file. Is it safe to remove the line from .gitignore? Peculiarly, when I modify thread.ml, "git status" reports that the file is modified, even though it is listed in .gitignore. I might not understand the behavior of .gitignore quite right. I found the following files exist and match .gitignore: .depend /otherlibs/systhreads/thread.ml testsuite/tests/asmcomp/mips.s testsuite/tests/opaque/intf/opaque_impl.mli testsuite/tests/opaque/intf/opaque_intf.mli testsuite/tests/opaque/intf/regular.mli -- Kenichi Asai