#!/bin/sh # SPDX-License-Identifier: GPL-2.0+ # # Reruns the C-language litmus tests previously run that match the # specified criteria, and compares the result to that of the previous # runs from initlitmushist.sh and/or newlitmushist.sh. # # sh checklitmushist.sh # # Run from the Linux kernel tools/memory-model directory. # See scripts/parseargs.sh for list of arguments. # # Copyright IBM Corporation, 2018 # # Author: Paul E. McKenney <paulmck@linux.ibm.com>
if test -d litmus then
: else echo Run scripts/initlitmushist.sh first, need litmus repo.
exit 1 fi
# Create the results directory and populate it with subdirectories. # The initial output is created here to avoid clobbering the output # generated earlier.
mkdir $T/results
find litmus -type d -print | ( cd $T/results; sed -e 's/^/mkdir -p /' | sh )
# Create the list of litmus tests already run, then remove those that # are excluded by this run's --procs argument.
( cd $LKMM_DESTDIR; find litmus -name '*.litmus.out' -print ) |
sed -e 's/\.out$//' |
xargs -r grep -L "^P${LKMM_PROCS}"> $T/list-C-already
xargs < $T/list-C-already -r grep -L "^P${LKMM_PROCS}" > $T/list-C-short
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.