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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure378 # as_fn_append VAR VALUE
385 eval 'as_fn_append ()
390 as_fn_append () function
394 fi # as_fn_append
2656 1) as_fn_append ac_configure_args0 " '$ac_arg'" ;;
2658 as_fn_append ac_configure_args1 " '$ac_arg'"
2674 as_fn_append ac_configure_args " '$ac_arg'"
2907 *) as_fn_append ac_configure_args " '$ac_arg'" ;;
22524 as_fn_append ac_libobjs " \${LIBOBJDIR}$ac_i\$U.$ac_objext"
22525 as_fn_append ac_ltlibobj
22832 as_fn_append () function
[all...]

Completed in 138 milliseconds