File indexing completed on 2026-04-10 07:50:28
0001
0002 usage(){ cat << EOU
0003 U4RandomTest.sh
0004 =================
0005
0006 ::
0007
0008 ./U4RandomTest.sh
0009
0010 EOU
0011 }
0012
0013 gdb__ ()
0014 {
0015 if [ -z "$BP" ]; then
0016 H="";
0017 B="";
0018 T="-ex r";
0019 else
0020 H="-ex \"set breakpoint pending on\"";
0021 B="";
0022 for bp in $BP;
0023 do
0024 B="$B -ex \"break $bp\" ";
0025 done;
0026 T="-ex \"info break\" -ex r";
0027 fi;
0028 local runline="gdb $H $B $T --args $* ";
0029 echo $runline;
0030 date;
0031 eval $runline;
0032 date
0033 }
0034
0035
0036
0037
0038
0039
0040
0041
0042
0043
0044 name=U4RandomTest
0045 export U4Random=INFO
0046
0047 defarg=dbg
0048 arg=${1:-$defarg}
0049
0050
0051 if [ "${arg/run}" != "$arg" ]; then
0052 $name
0053 [ $? -ne 0 ] && echo run FAIL && exit 1
0054 fi
0055
0056 if [ "${arg/dbg}" != "$arg" ]; then
0057 gdb__ $name
0058 [ $? -ne 0 ] && echo dbg FAIL && exit 2
0059 fi
0060
0061
0062 exit 0
0063
0064