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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure3517 if test x"$ACCEPT_INFERIOR_RM_PROGRAM" = x"yes"; then
3519 echo 'ACCEPT_INFERIOR_RM_PROGRAM variable to "yes"' >&2
3529 'rm' anyway, export the environment variable ACCEPT_INFERIOR_RM_PROGRAM

Completed in 60 milliseconds