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

/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in380 dot_seen=no; \
389 dot_seen=yes; \
397 if test "$$dot_seen" = "no"; then \
/seL4-l4v-master/HOL4/polyml/
H A DMakefile.in732 dot_seen=no; \
741 dot_seen=yes; \
749 if test "$$dot_seen" = "no"; then \

Completed in 35 milliseconds