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

/seL4-l4v-master/HOL4/polyml/
H A Dinstall-sh81 dir_arg=
122 -d) dir_arg=true;;
169 if test -n "$dir_arg"; then
176 if test $# -ne 0 && test -z "$dir_arg$dst_arg"; then
197 if test -z "$dir_arg"; then
206 if test -z "$dir_arg"; then
215 if test -z "$dir_arg"; then
253 if test -n "$dir_arg"; then
314 if test -n "$dir_arg"; then
339 if test -z "$dir_arg" || {
[all...]

Completed in 72 milliseconds