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