Searched refs:ac_msg (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/HOL4/polyml/ | ||
| H A D | configure | 1378 ac_msg="sources are in $srcdir, but \`cd $srcdir' does not work" 1380 cd "$srcdir" && test -r "./$ac_unique_file" || as_fn_error $? "$ac_msg" |
Completed in 94 milliseconds