# This file is auto-generated by 'make config'.
# Options for autoconf-2.71
_OPTIONS_READ=autoconf-2.71
_FILE_COMPLETE_OPTIONS_LIST=INFO
OPTIONS_FILE_SET+=INFO