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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Ddepcomp132 gccflag= dashmflag=
146 dashmflag=-xM
602 test -z "$dashmflag" && dashmflag=-M
606 "$@" $dashmflag |
/seL4-l4v-10.1.1/HOL4/polyml/
H A Ddepcomp132 gccflag= dashmflag=
146 dashmflag=-xM
602 test -z "$dashmflag" && dashmflag=-M
606 "$@" $dashmflag |

Completed in 31 milliseconds