On Fri, Apr 30, 2021 at 01:42:57PM +0900, Akira Yokosawa wrote: > Hi Paul, > > This patch set consists of random updates. > > Patch 1/4 is a revised one to run periodcheck on "make" > or "make all", with the option to run only periodcheck > by "make periodcheck". It also improves obsolete targets > "qq" and "mslm" by adding dependencies in the same way > done in "periodcheck-auto". > > Patch 2/4 adds patterns to catch wrong uses of "\@." and > ".\@". > I expect these two are confusing to anybody including myself. > > Patch 3/4 is a trivial fix somewhat related to periods. > I think this type of errors can also be checked by a script. > Such a script is now on my todo list. > > Patch 4/4 adds data of v5.12 in Figure 12.4. > I don't see any anomaly in v5.12, but I'm not closely > watching the changes in rcu/rcutorture of kernel tree. > If you are aware of any changes which necessitate updates > in CodeSamples/formal/rcutorture.sh, put this one on hold > and let me know what I can do. Queued and pushed, thank you! I added a sentence and comment giving a couple of significant changes added in v5.12. Also, as an aside, I had to remove the workaround a2ping script, but the one on my system now works fine. Not sure what caused the workaround to stop functioning, perhaps an update that I didn't notice. But either way, it does work now. ;-) Thanx, Paul > Thanks, Akira > -- > Akira Yokosawa (4): > Auto run periodcheck on 'make' > periodcheck: Add check of '\@.' and '.\@' uses > locking: Fix typo > formal: Add v5.12 rcu-test data in Figure 12.4 > > Makefile | 15 +- > formal/RCU-test-ratio.eps | 1113 +++++++++++++++++++------------------ > formal/data/rcu-test.dat | 3 +- > locking/locking.tex | 2 +- > utilities/periodcheck.pl | 4 + > 5 files changed, 585 insertions(+), 552 deletions(-) > > -- > 2.17.1 >
