| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/C/Linux/tools/memory-model/scripts/ (Open Source Betriebssystem Version 6.17.9©) Datei vom 24.10.2025 mit Größe 1 kB |
|
Quelle checktheselitmus.sh Sprache: Shell |
|||||||||||||||
|
#!/bin/sh # SPDX-License-Identifier: GPL-2.0+ # # Invokes checklitmus.sh on its arguments to run the specified litmus # test and pass judgment on the results. # # Usage: # checktheselitmus.sh -- [ file1.litmus [ file2.litmus ... ] ] # # Run this in the directory containing the memory model, specifying the # pathname of the litmus test to check. The usual parseargs.sh arguments # can be specified prior to the "--". # # This script is intended for use with pathnames that start from the # tools/memory-model directory. If some of the pathnames instead start at # the root directory, they all must do so and the "--destdir /" parseargs.sh # argument must be specified prior to the "--". Alternatively, some other # "--destdir" argument can be supplied as long as the needed subdirectories # are populated. # # Copyright IBM Corporation, 2018 # # Author: Paul E. McKenney <paulmck@linux.ibm.com> . scripts/parseargs.sh ret=0 for i in "$@" do if scripts/checklitmus.sh $i then : else ret=1 fi done if test "$ret" -ne 0 then echo " ^^^ VERIFICATION MISMATCHES" 1>&2 else echo All litmus tests verified as was expected. 1>&2 fi exit $ret
¤ Dauer der Verarbeitung: 0.3 Sekunden ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-04-02