Lines Matching refs:allow_undefined
3523 # allow_undefined=no3530 allow_undefined=yes3533 allow_undefined=yes4088 allow_undefined=no5857 if test "$allow_undefined" = yes; then6293 if test "$allow_undefined" = no; then