# This file is auto-generated by 'make config'. # Options for flag-1.0.2 _OPTIONS_READ=flag-1.0.2 _FILE_COMPLETE_OPTIONS_LIST=BASH OPTIONS_FILE_SET+=BASH