Searched refs:allow_undefined (Results 1 – 1 of 1) sorted by relevance
6912 allow_undefined=yes6915 allow_undefined=yes7538 allow_undefined=no9496 if test yes = "$allow_undefined"; then9842 if test no = "$allow_undefined"; then