Searched refs:MODE (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/
H A Dgriddle33 MODE=invoke
527 MODE=help
531 MODE=platform-help
547 MODE=invoke
614 if [ $MODE = help ]
617 elif [ $MODE = platform-help ]
620 elif [ $MODE = invoke ]
676 die "internal error; unrecognized operation mode \"$MODE\""
/seL4-test-master/tools/seL4/cmake-tool/
H A Dgriddle33 MODE=invoke
527 MODE=help
531 MODE=platform-help
547 MODE=invoke
614 if [ $MODE = help ]
617 elif [ $MODE = platform-help ]
620 elif [ $MODE = invoke ]
676 die "internal error; unrecognized operation mode \"$MODE\""

Completed in 30 milliseconds