Searched refs:eat (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dcompile138 if test -n "$eat"; then
139 eat=
144 eat=1
159 eat=1
170 eat=1
181 eat=1
200 eat=1
232 eat=
268 if test -n "$eat"; then
269 eat
[all...]
H A Ddepcomp635 cleared=no eat=no
643 if test $eat = yes; then
644 eat=no
653 eat=yes ;;
H A Dtexinfo.tex6495 \gobble % eat return
6714 % [Knuth] p. 382; only eat outer {}
7223 % eat a catcode 13 newline. There's no good way to handle the two
8388 % eat @SAVE -- beware, all of them have catcode \other:
/seL4-l4v-10.1.1/HOL4/polyml/
H A Ddepcomp635 cleared=no eat=no
643 if test $eat = yes; then
644 eat=no
653 eat=yes ;;

Completed in 98 milliseconds