| Server IP : 13.213.54.232 / Your IP : 216.73.216.72 Web Server : Apache/2.4.52 (Ubuntu) System : Linux ip-172-31-17-110 6.8.0-1029-aws #31~22.04.1-Ubuntu SMP Thu Apr 24 21:16:18 UTC 2025 x86_64 User : www-data ( 33) PHP Version : 7.1.33-67+ubuntu22.04.1+deb.sury.org+1 Disable Function : pcntl_alarm,pcntl_fork,pcntl_waitpid,pcntl_wait,pcntl_wifexited,pcntl_wifstopped,pcntl_wifsignaled,pcntl_wifcontinued,pcntl_wexitstatus,pcntl_wtermsig,pcntl_wstopsig,pcntl_signal,pcntl_signal_get_handler,pcntl_signal_dispatch,pcntl_get_last_error,pcntl_strerror,pcntl_sigprocmask,pcntl_sigwaitinfo,pcntl_sigtimedwait,pcntl_exec,pcntl_getpriority,pcntl_setpriority,pcntl_async_signals, MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : ON Directory : /proc/self/root/lib/modules/6.8.0-1031-aws/build/tools/memory-model/scripts/ |
Upload File : |
#!/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