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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dinstall-sh85 is_target_a_directory=possibly
143 is_target_a_directory=always
151 -T) is_target_a_directory=never;;
207 if test $# -gt 1 || test "$is_target_a_directory" = always; then
277 if test "$is_target_a_directory" = never; then
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dinstall-sh85 is_target_a_directory=possibly
143 is_target_a_directory=always
151 -T) is_target_a_directory=never;;
207 if test $# -gt 1 || test "$is_target_a_directory" = always; then
277 if test "$is_target_a_directory" = never; then

Completed in 24 milliseconds