# This file is auto-generated by 'make config'.
# No user-servicable parts inside!
# Options for flag-1.0.1
_OPTIONS_READ=flag-1.0.1
WITH_BASH=true