Searched refs:re (Results 26 - 28 of 28) sorted by relevance

12

/seL4-test-master/tools/riscv-pk/
H A Dconfigure138 # into an infinite loop, continuously re-executing ourselves.
157 $as_echo "$0: could not re-execute with $CONFIG_SHELL" >&2
258 $as_echo "$0: could not re-execute with $CONFIG_SHELL" >&2
491 # If we had to re-execute with $CONFIG_SHELL, we're ensured to have
927 | --no-recurs | --no-recur | --no-recu | --no-rec | --no-re | --no-r)
5121 -recheck | --recheck | --rechec | --reche | --rech | --rec | --re | --r)
5778 # effectively closing config.log, so it can be properly (re)opened and
/seL4-test-master/kernel/manual/parts/
H A Dcspace.tex256 re-use.
H A Dthreads.tex524 attempt to re-configure \texttt{bp\_num} for Breakpoint or Watchpoint usage until

Completed in 97 milliseconds

12