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

/seL4-l4v-master/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-master/isabelle/src/Pure/General/
H A Dssh.scala359 private def test_entry(path: Path, as_dir: Boolean): Boolean =
362 if (as_dir) is_dir else !is_dir
/seL4-l4v-master/l4v/isabelle/src/Pure/General/
H A Dssh.scala359 private def test_entry(path: Path, as_dir: Boolean): Boolean =
362 if (as_dir) is_dir else !is_dir

Completed in 47 milliseconds