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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure3420 if ${am_cv_make_support_nested_variables+:} false; then :
3430 am_cv_make_support_nested_variables=yes
3432 am_cv_make_support_nested_variables=no
3435 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $am_cv_make_support_nested_variables" >&5
3436 $as_echo "$am_cv_make_support_nested_variables" >&6; }
3437 if test $am_cv_make_support_nested_variables = yes; then
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure3405 if ${am_cv_make_support_nested_variables+:} false; then :
3415 am_cv_make_support_nested_variables=yes
3417 am_cv_make_support_nested_variables=no
3420 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $am_cv_make_support_nested_variables" >&5
3421 $as_echo "$am_cv_make_support_nested_variables" >&6; }
3422 if test $am_cv_make_support_nested_variables = yes; then

Completed in 212 milliseconds