Re: [PATCH memory-model 6/8] tools/memory-model: Add types to litmus tests

[Akira Yokosawa]

On Fri, 27 Nov 2020 07:46:52 -0800, Paul E. McKenney wrote:
> On Wed, Nov 25, 2020 at 08:34:47PM +0900, Akira Yokosawa wrote:
[...]
>> Hi Paul,
>>
>> I'm seeing this patch still alive in the updated for-mingo-lkmm branch.
>> Have you got some objection?
> 
> From git, which was not able to trivially revert.

;-) ;-)

>                                                   If you send me a
> patch on top that removes the uneeded declarations and if someone
> tests it with a klitmus run, I will take it for the merge window
> following the upcoming one.

Got it!
I'm submitting a patch set in reply to this mail.

1/2 is the removal of those redundant type declarations.
2/2 is an obvious fix of typo I made in the klitmus7 compat table.

        Thanks, Akira

> 
> 							Thanx, Paul
> 
>>         Thanks, Akira
>>