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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure96 for as_dir in $PATH
99 test -z "$as_dir" && as_dir=.
100 test -r "$as_dir/$0" && as_myself=$as_dir/$0 && break
220 for as_dir in /bin$PATH_SEPARATOR/usr/bin$PATH_SEPARATOR$PATH
223 test -z "$as_dir" && as_dir=.
225 case $as_dir in #(
229 as_shell=$as_dir/
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure96 for as_dir in $PATH
99 test -z "$as_dir" && as_dir=.
100 test -r "$as_dir/$0" && as_myself=$as_dir/$0 && break
220 for as_dir in /bin$PATH_SEPARATOR/usr/bin$PATH_SEPARATOR$PATH
223 test -z "$as_dir" && as_dir=.
225 case $as_dir in #(
229 as_shell=$as_dir/
[all...]

Completed in 73 milliseconds