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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure634 ac_unique_file="polyexports.h"
1368 if test ! -r "$srcdir/$ac_unique_file"; then
1374 if test ! -r "$srcdir/$ac_unique_file"; then
1376 as_fn_error $? "cannot find sources ($ac_unique_file) in $srcdir"
1380 cd "$srcdir" && test -r "./$ac_unique_file" || as_fn_error $? "$ac_msg"

Completed in 76 milliseconds