Software: Apache. PHP/8.3.27 uname -a: Linux pdx1-shared-a4-04 6.6.104-grsec-jammy+ #3 SMP Tue Sep 16 00:28:11 UTC 2025 x86_64 uid=6659440(dh_z2jmpm) gid=2086089(pg10499364) groups=2086089(pg10499364) Safe-mode: OFF (not secure) /usr/src/linux-hwe-6.5-headers-6.5.0-45/tools/memory-model/scripts/ drwxr-xr-x | |
| Viewing file: Select action/file-type: #!/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 <[email protected]> . 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 |
:: Command execute :: | |
--[ c99shell v. 2.5 [PHP 8 Update] [24.05.2025] | Generation time: 0.0233 ]-- |