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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure371 # as_fn_executable_p FILE
374 as_fn_executable_p () function
377 } # as_fn_executable_p
559 as_executable_p=as_fn_executable_p
2997 if as_fn_executable_p "$as_dir/$ac_prog$ac_exec_ext"; then
3181 if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3221 if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3272 as_fn_executable_p "$as_dir/$ac_prog$ac_exec_ext" || continue
3319 if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3722 if as_fn_executable_p "
23000 as_fn_executable_p () function
[all...]

Completed in 81 milliseconds