~hc/RK356X_SDK_RELEASE.git

..	..	@@ -1,48 +1,41 @@
1	1	#!/bin/sh
	2	+# SPDX-License-Identifier: GPL-2.0+
2	3	#
3		-# Run herd tests on all .litmus files in the specified directory (which
4		-# defaults to litmus-tests) and check each file's result against a "Result:"
5		-# comment within that litmus test. If the verification result does not
6		-# match that specified in the litmus test, this script prints an error
7		-# message prefixed with "^^^". It also outputs verification results to
8		-# a file whose name is that of the specified litmus test, but with ".out"
9		-# appended.
	4	+# Run herd7 tests on all .litmus files in the litmus-tests directory
	5	+# and check each file's result against a "Result:" comment within that
	6	+# litmus test. If the verification result does not match that specified
	7	+# in the litmus test, this script prints an error message prefixed with
	8	+# "^^^". It also outputs verification results to a file whose name is
	9	+# that of the specified litmus test, but with ".out" appended.
10	10	#
11	11	# Usage:
12		-# checkalllitmus.sh [ directory ]
	12	+# checkalllitmus.sh
13	13	#
14		-# The LINUX_HERD_OPTIONS environment variable may be used to specify
15		-# arguments to herd, whose default is defined by the checklitmus.sh script.
16		-# Thus, one would normally run this in the directory containing the memory
17		-# model, specifying the pathname of the litmus test to check.
	14	+# Run this in the directory containing the memory model.
18	15	#
19	16	# This script makes no attempt to run the litmus tests concurrently.
20		-#
21		-# This program is free software; you can redistribute it and/or modify
22		-# it under the terms of the GNU General Public License as published by
23		-# the Free Software Foundation; either version 2 of the License, or
24		-# (at your option) any later version.
25		-#
26		-# This program is distributed in the hope that it will be useful,
27		-# but WITHOUT ANY WARRANTY; without even the implied warranty of
28		-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
29		-# GNU General Public License for more details.
30		-#
31		-# You should have received a copy of the GNU General Public License
32		-# along with this program; if not, you can access it online at
33		-# http://www.gnu.org/licenses/gpl-2.0.html.
34	17	#
35	18	# Copyright IBM Corporation, 2018
36	19	#
37	20	# Author: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
38	21
39		-litmusdir=${1-litmus-tests}
	22	+. scripts/parseargs.sh
	23	+
	24	+litmusdir=litmus-tests
40	25	if test -d "$litmusdir" -a -r "$litmusdir" -a -x "$litmusdir"
41	26	then
42	27	:
43	28	else
44	29	echo ' --- ' error: $litmusdir is not an accessible directory
45	30	exit 255
	31	+fi
	32	+
	33	+# Create any new directories that have appeared in the github litmus
	34	+# repo since the last run.
	35	+if test "$LKMM_DESTDIR" != "."
	36	+then
	37	+ find $litmusdir -type d -print \|
	38	+ ( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' \| sh )
46	39	fi
47	40
48	41	# Find the checklitmus script. If it is not where we expect it, then
..	..	@@ -57,7 +50,7 @@
57	50
58	51	# Run the script on all the litmus tests in the specified directory
59	52	ret=0
60		-for i in litmus-tests/*.litmus
	53	+for i in $litmusdir/*.litmus
61	54	do
62	55	if ! $clscript $i
63	56	then
..	..	@@ -66,8 +59,8 @@
66	59	done
67	60	if test "$ret" -ne 0
68	61	then
69		- echo " ^^^ VERIFICATION MISMATCHES"
	62	+ echo " ^^^ VERIFICATION MISMATCHES" 1>&2
70	63	else
71		- echo All litmus tests verified as was expected.
	64	+ echo All litmus tests verified as was expected. 1>&2
72	65	fi
73	66	exit $ret