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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure634 ac_unique_file="polyexports.h"
1374 if test ! -r "$srcdir/$ac_unique_file"; then
1380 if test ! -r "$srcdir/$ac_unique_file"; then
1382 as_fn_error $? "cannot find sources ($ac_unique_file) in $srcdir"
1386 cd "$srcdir" && test -r "./$ac_unique_file" || as_fn_error $? "$ac_msg"
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure1414 if test ! -r "$srcdir/$ac_unique_file"; then
1420 if test ! -r "$srcdir/$ac_unique_file"; then
1422 as_fn_error $? "cannot find sources ($ac_unique_file) in $srcdir"
1426 cd "$srcdir" && test -r "./$ac_unique_file" || as_fn_error $? "$ac_msg"

Completed in 122 milliseconds