Message ID | 1523895165-17576-12-git-send-email-paulmck@linux.vnet.ibm.com |
---|---|
State | Superseded |
Headers | show
Delivered-To: patch@linaro.org Received: by 10.46.84.18 with SMTP id i18csp3740683ljb; Mon, 16 Apr 2018 09:13:50 -0700 (PDT) X-Google-Smtp-Source: AIpwx4+sIL7EOJ1vcCJcHN8tb5dEp6u0k55O8DKEcFy8II++WS4F0b7UsTKia4eZ4uO86NSNWErs X-Received: by 10.98.157.199 with SMTP id a68mr22277118pfk.237.1523895230608; Mon, 16 Apr 2018 09:13:50 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1523895230; cv=none; d=google.com; s=arc-20160816; b=yiqLBGL9rxmMjXyN9QZJYm396LRh3R8La6Mg1BvNesLseTj0ipKOG3wBkBnCQgXmkg VwFF/XXPstB1wbixzY58zRBZHbZ/OhgdvRG72clw+3oa5hKilpsQl8kpZJ4v7uca9/q9 IMDw15UB5AcZbvPr0sBmyuDGrxwqzfc1o9ex0wZEJHwXQJGMt7O+3sKOc6tZW3hfSRK9 7tDapPzZOTVu+krVoFtBp2dqsRF0x7HtlFiHa07ShxnyeHDaruN0pDJhZqHFKii1UdOF JBz9pI3sZsogFdra9DfpPqMEvpi7WFPWQjTjqpCeWqeegCxT/YzvpSrqJiPHR1MoGu8E DIqg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:message-id:references:in-reply-to:date :subject:cc:to:from:arc-authentication-results; bh=DASSB+r09LFnH4AUHDKkeF6FYookH7ZOx6EmTlCRdU4=; b=xUg5FacA0JW/yBeIzJoKhfCPl4qsjdCvgacFAwYeXx1+0hMnSsAGpd6Tox8Qe4a95r jDqq0XpI3dWSCyjDQTigoNCnI4SDaoyTci6z2RCmvM8n68XY9ruhcUI5d9pfHJTYhgR0 qBZuaNUQmAiqrZE+bjI/zsNxNbTirqIEk2Dzqsen3MOYUd7JfFs+9KNSI8asuW9V5N+9 27aP0Ed5HXBhRt9MpSJuZfejesAnfb/hv5IJTw6CGKdoG0JaZQfAlFkdk9Vxs18n+hHp QHNAjUVtZFFsQdkL2jMmhZiSCcSv69RkYxltHXOS7TqkNiI1c0SUl6SVawxrRvTic7uh roPw== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=ibm.com Return-Path: <linux-kernel-owner@vger.kernel.org> Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id n1-v6si12329513pld.238.2018.04.16.09.13.50; Mon, 16 Apr 2018 09:13:50 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=ibm.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753270AbeDPQNV (ORCPT <rfc822;ramon.fried@linaro.org> + 29 others); Mon, 16 Apr 2018 12:13:21 -0400 Received: from mx0b-001b2d01.pphosted.com ([148.163.158.5]:50196 "EHLO mx0a-001b2d01.pphosted.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1753087AbeDPQLt (ORCPT <rfc822;linux-kernel@vger.kernel.org>); Mon, 16 Apr 2018 12:11:49 -0400 Received: from pps.filterd (m0098420.ppops.net [127.0.0.1]) by mx0b-001b2d01.pphosted.com (8.16.0.22/8.16.0.22) with SMTP id w3GFtAkE052801 for <linux-kernel@vger.kernel.org>; Mon, 16 Apr 2018 12:11:48 -0400 Received: from e16.ny.us.ibm.com (e16.ny.us.ibm.com [129.33.205.206]) by mx0b-001b2d01.pphosted.com with ESMTP id 2hcwc15xmx-1 (version=TLSv1.2 cipher=AES256-SHA256 bits=256 verify=NOT) for <linux-kernel@vger.kernel.org>; Mon, 16 Apr 2018 12:11:47 -0400 Received: from localhost by e16.ny.us.ibm.com with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted for <linux-kernel@vger.kernel.org> from <paulmck@linux.vnet.ibm.com>; Mon, 16 Apr 2018 12:11:46 -0400 Received: from b01cxnp23033.gho.pok.ibm.com (9.57.198.28) by e16.ny.us.ibm.com (146.89.104.203) with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted; Mon, 16 Apr 2018 12:11:40 -0400 Received: from b01ledav003.gho.pok.ibm.com (b01ledav003.gho.pok.ibm.com [9.57.199.108]) by b01cxnp23033.gho.pok.ibm.com (8.14.9/8.14.9/NCO v10.0) with ESMTP id w3GGBdIp54460498; Mon, 16 Apr 2018 16:11:40 GMT Received: from b01ledav003.gho.pok.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id 71099B206B; Mon, 16 Apr 2018 13:13:44 -0400 (EDT) Received: from paulmck-ThinkPad-W541 (unknown [9.70.82.108]) by b01ledav003.gho.pok.ibm.com (Postfix) with ESMTP id 3950EB2058; Mon, 16 Apr 2018 13:13:44 -0400 (EDT) Received: by paulmck-ThinkPad-W541 (Postfix, from userid 1000) id 83D8E16C6A3E; Mon, 16 Apr 2018 09:12:47 -0700 (PDT) From: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com> To: linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org Cc: mingo@kernel.org, stern@rowland.harvard.edu, parri.andrea@gmail.com, will.deacon@arm.com, peterz@infradead.org, boqun.feng@gmail.com, npiggin@gmail.com, dhowells@redhat.com, j.alglave@ucl.ac.uk, luc.maranget@inria.fr, akiyks@gmail.com, "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>, Ingo Molnar <mingo@redhat.com> Subject: [PATCH tools/memory-model 12/17] tools/memory-model: Update required version of herdtools7 Date: Mon, 16 Apr 2018 09:12:40 -0700 X-Mailer: git-send-email 2.5.2 In-Reply-To: <20180416161209.GA6895@linux.vnet.ibm.com> References: <20180416161209.GA6895@linux.vnet.ibm.com> X-TM-AS-GCONF: 00 x-cbid: 18041616-0024-0000-0000-00000347CE5F X-IBM-SpamModules-Scores: X-IBM-SpamModules-Versions: BY=3.00008863; HX=3.00000241; KW=3.00000007; PH=3.00000004; SC=3.00000257; SDB=6.01018801; UDB=6.00519703; IPR=6.00798042; MB=3.00020599; MTD=3.00000008; XFM=3.00000015; UTC=2018-04-16 16:11:44 X-IBM-AV-DETECTION: SAVI=unused REMOTE=unused XFE=unused x-cbparentid: 18041616-0025-0000-0000-000047AEEA42 Message-Id: <1523895165-17576-12-git-send-email-paulmck@linux.vnet.ibm.com> X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:, , definitions=2018-04-16_08:, , signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=1501 malwarescore=0 suspectscore=0 phishscore=0 bulkscore=0 spamscore=0 clxscore=1015 lowpriorityscore=0 impostorscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1709140000 definitions=main-1804160146 Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: <linux-kernel.vger.kernel.org> X-Mailing-List: linux-kernel@vger.kernel.org |
Series |
None
|
expand
|
diff --git a/tools/memory-model/README b/tools/memory-model/README index 0b3a5f3c9ccd..734f7feaa5dc 100644 --- a/tools/memory-model/README +++ b/tools/memory-model/README @@ -20,7 +20,7 @@ that litmus test to be exercised within the Linux kernel. REQUIREMENTS ============ -Version 7.48 of the "herd7" and "klitmus7" tools must be downloaded +Version 7.49 of the "herd7" and "klitmus7" tools must be downloaded separately: https://github.com/herd/herdtools7