Received: by 2002:ac0:946b:0:0:0:0:0 with SMTP id j40csp4074587imj; Tue, 19 Feb 2019 14:56:17 -0800 (PST) X-Google-Smtp-Source: AHgI3IbJYSCtyEUuWXtYEyWAGeFJGkhnIoh3Wkly3+5rLvyd8spBgEo4GsIIeJONEyY5sefBjfBL X-Received: by 2002:a63:c946:: with SMTP id y6mr26360502pgg.109.1550616977758; Tue, 19 Feb 2019 14:56:17 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1550616977; cv=none; d=google.com; s=arc-20160816; b=hMp8dAY1SOuphoaqgmqQ1VvOOu89YlSn1jjog3Scm6pRqFabF7izAWAIdsHn7t5E8p INa0Rr7rRrx4gLRX+2bu9HlXm0vWLHBlmm+wdOmyto8ewTu2I7Ok5OAEEEADzVCq6k8E 3FH1laN5+EMyo2uWRQ/7JXlkFZF3L1bunAob9BX/ctObfzEF0FkOBoEW3Fu8919e2fHB D7PzylNswQabXDNEkp+t9r5qFKN8hckI43s1wkz46BgD3zzmEUsi6TY1TS1hbEaZ6wyk IjJ3OavTo1A+JP27wrDvAYPMdwysDY6zrpFXup2/picn4583qKLdbeG38ovlPcvYVv6t zsIw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:message-id:date:subject:cc:to:from :dkim-signature; bh=BrB8Q/eUpJDA/Zjf4iU7uKKPX52T9AWESmHfx6pF9L4=; b=G4pi57eFgg/im9TDjqXrUBblQxG2wX4sg+GGe/09XQHKywX7huaCZEWtZGR6z+W7kc Mu6HF1FJDB75jYnGP2oxNAiEyUrZ+fo0GHMvfrM6FXy9opIdmg5YMUo/N4XRiOzjuhm7 ge/2cnwwxch25RWDhB6NTpV+1FzJe8q1B2he4S7yIiyFNJVHyJtdnGPRyIDJ5VMJFLA1 7SHEIq+YEMBRbrijUSgwpo5gafVjzbMq/C8T5iG4+/wnDMgDwWmWGpA7n0wRa5KPnkNp GEB9Z2G09QaLAUWo1b4Ditm7JBqx2wlmug+j1RdkWLd0SaOXCysXrRP+IcYLlR8MyZUq NYog== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@amarulasolutions.com header.s=google header.b=jud1Wcqb; 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 Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id t1si15933836pgi.364.2019.02.19.14.56.01; Tue, 19 Feb 2019 14:56:17 -0800 (PST) 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; dkim=pass header.i=@amarulasolutions.com header.s=google header.b=jud1Wcqb; 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 Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1729849AbfBSWzh (ORCPT + 99 others); Tue, 19 Feb 2019 17:55:37 -0500 Received: from mail-wr1-f42.google.com ([209.85.221.42]:40507 "EHLO mail-wr1-f42.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727736AbfBSWzh (ORCPT ); Tue, 19 Feb 2019 17:55:37 -0500 Received: by mail-wr1-f42.google.com with SMTP id q1so23773864wrp.7 for ; Tue, 19 Feb 2019 14:55:35 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=amarulasolutions.com; s=google; h=from:to:cc:subject:date:message-id; bh=BrB8Q/eUpJDA/Zjf4iU7uKKPX52T9AWESmHfx6pF9L4=; b=jud1WcqbKLbtXBU7LLCUyqRDjUDZ87ElfoH4iQCr6+DlRA2PVwngmDC3oiR0zImm6u dIF9tHvFSUdrs4CNOv+AnlOyFR8VAnIEFYJJChM1PpBdpHGtUqfZPBGZpPJayyhOCsh/ aJAVSuZ9rVpX0bsxm+weW9NC+zE2LLjCIPldU= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id; bh=BrB8Q/eUpJDA/Zjf4iU7uKKPX52T9AWESmHfx6pF9L4=; b=sCuDMo0scmo2RkGzOk5+8a1Ajub+GuuxFx9JWg4eZ8tvrpom2uwlfnmi4RplGOfV1+ 1bj1A3Of84ObXd8OaGK/G2hEG7QVl7MeE+TsqhwP2jVC6HJ+cnrR72GJ9Hh+M1CvlN8b WpWMmCm8i7v28Nh4NZnVtBnHCL/Mb7EBZ9Y+QL8FAGvlynhbsawetHzTJ6usXG1I5S3C wyiQfWAIzILK32Up/q50RJBkiug0uvuBwo9B3MkpuRhuHzVQKrq+/0J1vzMr+73/JXrS zZ9ZtqWD/cny1Ay8Mh+Yz5bHoWNAyp1Ziz/2JKIuINnIrbB+e+w70tQEPSv5HR1C/KFI tV2A== X-Gm-Message-State: AHQUAualdjDX1TBXKf0iYZNzIpN1DeympmTuBc1ysBxeB5YOrHcXRP78 nQCbIZPXGhofxdAKyBz7ACK3XzHCdEkKIA== X-Received: by 2002:adf:ee4d:: with SMTP id w13mr22603220wro.16.1550616934921; Tue, 19 Feb 2019 14:55:34 -0800 (PST) Received: from localhost.localdomain ([89.22.71.151]) by smtp.gmail.com with ESMTPSA id b3sm7073951wme.27.2019.02.19.14.55.33 (version=TLS1_2 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Tue, 19 Feb 2019 14:55:34 -0800 (PST) From: Andrea Parri To: linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org Cc: Andrea Parri , Alan Stern , Will Deacon , Peter Zijlstra , Boqun Feng , Nicholas Piggin , David Howells , Jade Alglave , Luc Maranget , "Paul E. McKenney" , Akira Yokosawa , Daniel Lustig Subject: [PATCH 0/2] tools/memory-model: Trivialities Date: Tue, 19 Feb 2019 23:55:21 +0100 Message-Id: <1550616923-4795-1-git-send-email-andrea.parri@amarulasolutions.com> X-Mailer: git-send-email 2.7.4 Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Fixes to inline comments, documentation, script usage. Cc: Alan Stern Cc: Will Deacon Cc: Peter Zijlstra Cc: Boqun Feng Cc: Nicholas Piggin Cc: David Howells Cc: Jade Alglave Cc: Luc Maranget Cc: "Paul E. McKenney" Cc: Akira Yokosawa Cc: Daniel Lustig Andrea Parri (2): tools/memory-model: Fix comment in MP+poonceonces.litmus tools/memory-model: Do not use "herd" to refer to "herd7" tools/memory-model/litmus-tests/MP+poonceonces.litmus | 2 +- tools/memory-model/litmus-tests/README | 2 +- tools/memory-model/lock.cat | 2 +- tools/memory-model/scripts/README | 4 ++-- tools/memory-model/scripts/checkalllitmus.sh | 2 +- tools/memory-model/scripts/checklitmus.sh | 2 +- tools/memory-model/scripts/parseargs.sh | 2 +- tools/memory-model/scripts/runlitmushist.sh | 2 +- 8 files changed, 9 insertions(+), 9 deletions(-) -- 2.7.4