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

/seL4-l4v-master/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
966 as_fn_error $? "invalid feature name: $ac_useropt"
992 as_fn_error $? "invalid feature name: $ac_useropt"
1205 as_fn_error $? "invalid package name: $ac_useropt"
1221 as_fn_error $? "invalid package name: $ac_useropt"
1251 -*) as_fn_error $? "unrecognized option: \`$ac_option'
1260 as_fn_error
22782 as_fn_error () function
[all...]

Completed in 129 milliseconds