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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure366 } || test -d "$as_dir" || as_fn_error $? "cannot create directory $as_dir"
414 # as_fn_error STATUS ERROR [LINENO LOG_FD]
419 as_fn_error () function
428 } # as_fn_error
1012 as_fn_error $? "invalid feature name: $ac_useropt"
1038 as_fn_error $? "invalid feature name: $ac_useropt"
1251 as_fn_error $? "invalid package name: $ac_useropt"
1267 as_fn_error $? "invalid package name: $ac_useropt"
1297 -*) as_fn_error $? "unrecognized option: \`$ac_option'
1306 as_fn_error
19847 as_fn_error () function
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure366 } || test -d "$as_dir" || as_fn_error $? "cannot create directory $as_dir"
414 # as_fn_error STATUS ERROR [LINENO LOG_FD]
419 as_fn_error () function
428 } # as_fn_error
972 as_fn_error $? "invalid feature name: $ac_useropt"
998 as_fn_error $? "invalid feature name: $ac_useropt"
1211 as_fn_error $? "invalid package name: $ac_useropt"
1227 as_fn_error $? "invalid package name: $ac_useropt"
1257 -*) as_fn_error $? "unrecognized option: \`$ac_option'
1266 as_fn_error
22864 as_fn_error () function
[all...]

Completed in 81 milliseconds