Lines Matching refs:allow_undefined
4041 # allow_undefined=no4048 allow_undefined=yes4051 allow_undefined=yes4615 allow_undefined=no6384 if test "$allow_undefined" = yes; then6820 if test "$allow_undefined" = no; then
