On 2017/11/11 08:41:54 +0900, Akira Yokosawa wrote: >>From 6ecff66f2b5f95e914d90e29b6d0a2eb4d8901cc Mon Sep 17 00:00:00 2001 > From: Akira Yokosawa <akiyks@xxxxxxxxx> > Date: Sat, 11 Nov 2017 08:25:34 +0900 > Subject: [PATCH 3/3] CodeSamples/formal: Get rid of warnings in cross compiling > > Also fix corresponding code snippet. > > Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx> > --- > CodeSamples/formal/litmus/C-2+2W+o-wmb-o+o-wmb-o.litmus | 2 -- By the way Paul, didn't you have a plan to mention these "C-2+2W" litmus tests somewhere in the memorder chapter? Thanks, Akira > CodeSamples/formal/litmus/C-Z6.2+o-r+a-o+o-mb-o.litmus | 2 +- > memorder/memorder.tex | 2 +- > 3 files changed, 2 insertions(+), 4 deletions(-) > [...] -- To unsubscribe from this list: send the line "unsubscribe perfbook" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html