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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dinstall-sh82 dst_arg=
144 dst_arg=$2
146 case $dst_arg in
147 -* | [=\(\)!]) dst_arg=./$dst_arg;;
170 if test -n "$dst_arg"; then
176 if test $# -ne 0 && test -z "$dir_arg$dst_arg"; then
182 if test -n "$dst_arg"; then
184 set fnord "$@" "$dst_arg"
188 dst_arg
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dinstall-sh82 dst_arg=
144 dst_arg=$2
146 case $dst_arg in
147 -* | [=\(\)!]) dst_arg=./$dst_arg;;
170 if test -n "$dst_arg"; then
176 if test $# -ne 0 && test -z "$dir_arg$dst_arg"; then
182 if test -n "$dst_arg"; then
184 set fnord "$@" "$dst_arg"
188 dst_arg
[all...]

Completed in 15 milliseconds