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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure4435 _am_result=none
4443 _am_result=GNU
4453 _am_result=BSD
4459 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $_am_result" >&5
4460 $as_echo "$_am_result" >&6; }
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure3913 _am_result=none
3921 _am_result=GNU
3931 _am_result=BSD
3937 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $_am_result" >&5
3938 $as_echo "$_am_result" >&6; }

Completed in 70 milliseconds