Searched refs:set_event (Results 1 – 25 of 38) sorted by relevance
12
7 echo > set_event21 if [ ! -f set_event -o ! -d events/sched ]; then29 echo 'sched:*' > set_event
6 echo > set_event20 if [ ! -f available_events -o ! -f set_event -o ! -d events ]; then28 echo '*:*' > set_event
7 echo > set_event21 if [ ! -f set_event -o ! -d events/sched ]; then29 echo 'sched:sched_switch' > set_event
7 echo > set_event23 if [ ! -f set_event -o ! -d events/sched ]; then50 echo 'sched:sched_switch' > set_event
7 echo > set_event17 if [ ! -f set_event ]; then
5 echo > set_event15 if [ ! -f set_event ]; then
6 echo > set_event16 if [ ! -f set_event ]; then
8 echo > set_event18 if [ ! -f set_event ]; then
7 echo > set_event17 if [ ! -f set_event -o ! -d events/sched ]; then
8 echo > set_event19 if [ ! -f set_event ]; then
8 echo > set_event18 if [ ! -f set_event -o ! -d events/sched ]; then
